The lattice of deductive systems on Hilbert algebras
From MaRDI portal
Publication:1864519
DOI10.1007/s100120200022zbMath1010.03054OpenAlexW2053337420MaRDI 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
Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
On fuzzy deductive systems of Hilbert algebras ⋮ A glimpse of deductive systems in algebra ⋮ Hilbert algebras as implicative partial semilattices ⋮ Unnamed Item ⋮ Hilbert algebras of fractions ⋮ Lattice of closure endomorphisms of a Hilbert algebra ⋮ Annihilators in BCK-Algebras