Publication:5293965
From MaRDI portal
zbMath1117.06001MaRDI QIDQ5293965
Jan Kühr, Radomír Halaš, Ivan Chajda
Publication date: 5 July 2007
semilattice; MV-algebra; BCC-algebra; implication algebra; Hilbert algebra; directoid; pseudocomplement; relative pseudocomplement; residuated semilattice; sectional pseudocomplement
03G25: Other algebras related to logic
08A05: Structure theory of algebraic structures
06A12: Semilattices
06-02: Research exposition (monographs, survey articles) pertaining to ordered structures
Related Items
Residuated relational systems, Analytic computable structure theory and $L^p$ spaces, Annihilator-preserving congruence relations in distributive nearlattices, Unnamed Item, Note on $\alpha$-filters in distributive nearlattices, On varieties of basic algebras, Spaces of abstract events, The class of algebraically closed p-semilattices is finitely axiomatizable, A non-associative generalization of Hájek's BL-algebras, Hedges and successors in basic algebras, Effect algebras are conditionally residuated structures, Quasi-orthomodular posets and weak BCK-algebras., A note on congruences of semilattices with sectionally finite height., \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices, A glimpse of deductive systems in algebra, Algebraic axiomatization of tense intuitionistic logic, The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras, Sobriety and spatiality in varieties of algebras, An algebraic axiomatization of the Ewald's intuitionistic tense logic, Filters of implication reducts of basic algebras., The propositional logic induced by means of basic algebras, Pseudocomplemented lattice effect algebras and existence of states, Subdirectly irreducible IKt-algebras, Commutative basic algebras and coupled near semirings, Selfextensional logics with a distributive nearlattice term, Convex congruences, Congruences on near-Heyting algebras, Principal and Boolean congruences on \(IKt\)-algebras, The logic of distributive nearlattices, Algebraic aspects of relatively pseudocomplemented posets, Relative annihilator-preserving congruence relations and relative annihilator-preserving homomorphisms in bounded distributive semilattices., On the role of logical connectives for primality and functional completeness of algebras of logics, Monotonic distributive semilattices, A completion for distributive nearlattices, Hilbert algebras with a modal operator \(\diamondsuit\), On order types of linear basic algebras., The Sheffer stroke operation reducts of basic algebras, Are basic algebras residuated structures?, Spectral-like duality for distributive Hilbert algebras with infimum, Stone style duality for distributive nearlattices, A representation of basic algebras by coupled right near semirings, Unnamed Item, Extended-order algebras as a generalization of posets, Unnamed Item, Unnamed Item
