A glimpse of deductive systems in algebra

DOI10.2478/s11533-010-0041-4zbMath1216.03066MaRDI QIDQ607435

Sergiu Rudeanu, Dumitru Buşneag

Publication date: 22 November 2010

Published in: Central European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/s11533-010-0041-4

zbMATH Keywords

algebra of logic; strong filter; filter; deductive system; Hilbert algebra; pre-BCK algebra

Mathematics Subject Classification ID

06F35: BCK-algebras, BCI-algebras

06D20: Heyting algebras (lattice-theoretic aspects)

03G25: Other algebras related to logic

06B10: Lattice ideals, congruence relations

06D35: MV-algebras

03G05: Logical aspects of Boolean algebras

06A12: Semilattices

03G20: Logical aspects of ?ukasiewicz and Post algebras

Related Items

Lattice of closure endomorphisms of a Hilbert algebra, Regularity in residuated lattices, New topology in residuated lattices, The property of commutativity for some generalizations of BCK algebras

Cites Work

• Representation and duality for Hilbert algebras
• Mathematics behind fuzzy logic
• Lukasiewicz-Moisil algebras
• An algebraic approach to non-classical logics
• On the lattice of deductive systems of a BL-algebra
• The lattice of deductive systems on Hilbert algebras
• Distributive implication groupoids
• Boolean filters and positive implicative filters of residuated lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item