The lattice of deductive systems on Hilbert algebras

DOI10.1007/S100120200022zbMath1010.03054OpenAlexW2053337420MaRDI QIDQ1864519

Ivan Chajda

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

zbMATH Keywords

idealcongruence latticedeductive systemHilbert algebraalgebraic lattice

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (7)

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

This page was built for publication: The lattice of deductive systems on Hilbert algebras