Implication and equivalential reducts of basic algebras

zbMATH Open1235.06010MaRDI QIDQ3100246FDOQ3100246

Authors: Miroslav Kolařík, Filip Švrček, Ivan Chajda 

Publication date: 23 November 2011

Full work available at URL: https://eudml.org/doc/116511

Recommendations

• Filters of implication reducts of basic algebras.
• Basic algebras, logics, trends and applications.
• Basic algebras and their applications an overview
• Ideals and congruences of basic algebras
• Monadic basic algebras

zbMATH Keywords

MV-algebraorthomodular latticebasic algebracongruence propertyequivalential reductimplication basic algebraimplication reduct

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Complemented lattices, orthocomplemented lattices and posets (06C15)

Cites Work

• Algebraic foundations of many-valued reasoning
• Independence of axiom system of basic algebras
• Semilattice structures.
• Title not available (Why is that?)
• Quantum implication algebras
• Orthoimplication algebras
• Equivalential algebras. I: Representation
• On the intuitionistic equivalential calculus
• Title not available (Why is that?)

Cited In (10)

• The Sheffer stroke operation reducts of basic algebras
• Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements
• Monadic basic algebras
• Quasi-orthomodular posets and weak BCK-algebras.
• Filters of implication reducts of basic algebras.
• Simple logics for basic algebras
• Reduced axioms for the propositional logics induced by basic algebras
• States on implication basic algebras
• Simple axioms for orthomodular implication algebras
• Basic algebras, logics, trends and applications.

This page was built for publication: Implication and equivalential reducts of basic algebras

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