Basic algebras, logics, trends and applications.

DOI10.1142/S1793557115500400MaRDI QIDQ5899524zbMATH OpenFDO

Authors Ivan Chajda

Publication date 13 November 2015

Published in Asian-European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S1793557115500400

zbMATH Keywords

antitone involutionsaxiom systemsbasic algebrasbounded latticescongruence propertiescongruencesfiltersimplication reductsinterval basic algebrasMV-algebrasorthomodular latticespropositional logicvarieties

Mathematics Subject Classification ID

Quantum logic (03G12) Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15) MV-algebras (06D35) Other generalizations of distributive lattices (06D75) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• Basic algebras, logics, trends and applications
• Basic algebras and their applications an overview
• Simple logics for basic algebras
• On varieties of basic algebras
• Implication and equivalential reducts of basic algebras

Cites work

• A New Proof of the Completeness of the Lukasiewicz Axioms
• A note on congruence kernels in ortholattices
• Algebraic foundations of many-valued reasoning
• Algebraizable logics
• Commutative directoids with sectionally antitone bijections
• Finite commutative basic algebras are MV-effect algebras
• Horizontal sums of basic algebras
• scientific article; zbMATH DE number 5076628 (Why is no real title available?)
• scientific article; zbMATH DE number 2015553 (Why is no real title available?)
• scientific article; zbMATH DE number 1912565 (Why is no real title available?)
• scientific article; zbMATH DE number 2096470 (Why is no real title available?)
• scientific article; zbMATH DE number 5053658 (Why is no real title available?)
• scientific article; zbMATH DE number 3245491 (Why is no real title available?)
• scientific article; zbMATH DE number 2213264 (Why is no real title available?)
• Metamathematics of fuzzy logic
• MODIFICATIONS OF MV-ALGEBRAS CORRESPONDING TO STRONG ORTHOLATTICES
• Proof of an Axiom of Lukasiewicz
• Regularity of generalized MV-algebras
• Ring-like structures corresponding to MV-algebras via symmetric difference
• Semilattices with sectional mappings
• Semilattices with sectionally antitone bijections
• The logic of quantum mechanics
• The writing of the MV-algebras
• Varieties of lattice effect algebras generated by four-element members
• WHEN IS A BCC-ALGEBRA EQUIVALENT TO AN MV-ALGEBRA?

Cited in

(17)

• Reduced axioms for the propositional logics induced by basic algebras
• Representations of Sheffer stroke algebras and Visser algebras
• A view on state operators in Sheffer stroke basic algebras
• Basic algebras and L-algebras
• On order types of linear basic algebras.
• The Sheffer stroke operation reducts of basic algebras
• Simple logics for basic algebras
• Implication and equivalential reducts of basic algebras
• Monadic basic algebras
• Pre-ideals of basic algebras
• Pseudo commutative double basic algebras
• States on implication basic algebras
• Basic algebras, logics, trends and applications
• Interval Sheffer stroke basic algebras and Yang-Baxter equation
• The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras
• Material implications in lattice effect algebras
• The propositional logic induced by means of basic algebras

This page was built for publication: Basic algebras, logics, trends and applications.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899524)