The lattice of deductive systems on Hilbert algebras
From MaRDI portal
Publication:1864519
DOI10.1007/s100120200022zbMath1010.03054MaRDI QIDQ1864519
Publication date: 18 March 2003
Published in: Southeast Asian Bulletin of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s100120200022
03G25: Other algebras related to logic
08A30: Subalgebras, congruence relations
03B22: Abstract deductive systems
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Unnamed Item, Lattice of closure endomorphisms of a Hilbert algebra, A glimpse of deductive systems in algebra, Hilbert algebras of fractions, Hilbert algebras as implicative partial semilattices, Annihilators in BCK-Algebras