Reduced axioms for the propositional logics induced by basic algebras

DOI10.1007/s00500-017-2628-1zbMath1398.03214OpenAlexW2610226001MaRDI QIDQ1797789

Miroslav Kolařík, Ivan Chajda

Publication date: 22 October 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-017-2628-1

zbMATH Keywords

axiom systemorthomodular latticebasic algebracommutative basic algebralogic of quantum mechanics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Classical propositional logic (03B05) MV-algebras (06D35) Quantum logic (03G12)

Cites Work

• Unnamed Item
• The propositional logic induced by means of basic algebras
• The join of the variety of MV-algebras and the variety of orthomodular lattices
• Many-valued quantum algebras
• Commutative basic algebras and non-associative fuzzy logics
• Independence of axiom system of basic algebras
• The logic of quantum mechanics
• Algebraizable logics
• A short note on L_{CBA}---fuzzy logic with a non-associative conjunction
• Basic algebras, logics, trends and applications

This page was built for publication: Reduced axioms for the propositional logics induced by basic algebras