The propositional logic induced by means of basic algebras

DOI10.1007/s10773-014-2500-3zbMath1329.81091OpenAlexW1990446090MaRDI QIDQ904478

Ivan Chajda

Publication date: 13 January 2016

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-014-2500-3

zbMATH Keywords

propositional logicalgebraizable logicbasic algebraweakly implicative logic

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Related Items

The logic induced by effect algebras, Reduced axioms for the propositional logics induced by basic algebras, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Many-valued quantum algebras
• Commutative basic algebras and non-associative fuzzy logics
• Weakly implicative (fuzzy) logics. I: Basic properties
• Independence of axiom system of basic algebras
• Algebraizable logics