A note on homomorphisms of Hilbert algebras

DOI10.1155/S0161171202011134zbMath0993.03089MaRDI QIDQ1607811

Sergio Arturo Celani

Publication date: 13 August 2002

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/49359

zbMATH Keywords

representation theoremhomomorphismsordered setsHilbert algebrasirreducible deductive systemsorder-ideal

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25)

Related Items (24)

On the free implicative semilattice extension of a Hilbert algebra ⋮ Unnamed Item ⋮ Spectral-like duality for distributive Hilbert algebras with infimum ⋮ Unnamed Item ⋮ Relational representation for subordination Tarski algebras ⋮ Hilbert algebras with supremum ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ Unnamed Item ⋮ Representation of Hilbert algebras and implicative semilattices ⋮ Plug and Play Negations ⋮ Complete and atomic Tarski algebras ⋮ Prelinear Hilbert algebras ⋮ On prelinear Hilbert algebras with successor ⋮ A note on Hilbert algebras and their related generalized Esakia spaces ⋮ Subordination Tarski algebras ⋮ Extended-order algebras as a generalization of posets ⋮ Variations of the free implicative semilattice extension of a Hilbert algebra ⋮ Representation and duality for Hilbert algebras ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic ⋮ On GE-algebras ⋮ Duality for finite Hilbert algebras ⋮ Hilbert algebras with a modal operator \(\diamondsuit\) ⋮ On Hilbert algebras generated by the order

This page was built for publication: A note on homomorphisms of Hilbert algebras