scientific article

zbMath1235.06010MaRDI QIDQ3100246

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

Publication date: 23 November 2011

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

orthomodular latticeMV-algebracongruence propertybasic algebraequivalential reductimplication basic algebraimplication reduct

Mathematics Subject Classification ID

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

Related Items

The Sheffer stroke operation reducts of basic algebras ⋮ States on implication basic algebras ⋮ Filters of implication reducts of basic algebras. ⋮ Quasi-orthomodular posets and weak BCK-algebras.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Orthoimplication algebras
• Quantum implication algebras
• Algebraic foundations of many-valued reasoning
• Equivalential algebras. I: Representation
• Independence of axiom system of basic algebras
• On the intuitionistic equivalential calculus