A glimpse of deductive systems in algebra

DOI10.2478/S11533-010-0041-4zbMath1216.03066OpenAlexW1985606837MaRDI 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 logicstrong filterfilterdeductive systemHilbert algebrapre-BCK algebra

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Lattice ideals, congruence relations (06B10) MV-algebras (06D35) Logical aspects of Boolean algebras (03G05) Semilattices (06A12) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (5)

On Implicative and Positive Implicative GE Algebras ⋮ New topology in residuated lattices ⋮ Lattice of closure endomorphisms of a Hilbert algebra ⋮ The property of commutativity for some generalizations of BCK algebras ⋮ Regularity in residuated lattices

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

This page was built for publication: A glimpse of deductive systems in algebra