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, Unnamed Item, Remarks on normal distributive nearlattices, Quasi-modal operators on distributive nearlattices, Unnamed Item, Pseudo Commutative Double Basic Algebras, Note on $\alpha$-filters in distributive nearlattices, On Heyting algebras with negative tense operators, On the logic of distributive nearlattices, Tense operators on distributive lattices with implication, Monadic quasi-modal distributive nearlattices, Priestley-style duality for DN-algebras, Characterizations of near-Heyting algebras, The number of subuniverses, congruences, weak congruences of semilattices defined by trees, 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, Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic, 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, Finite distributive nearlattices, Representations of Sheffer stroke algebras and Visser algebras, Basic algebras and L-algebras, Algebraic aspects of relatively pseudocomplemented posets, On graphs of bounded semilattices, The homomorphism equation on semilattices, On a new construction of pseudocomplemented semilattices, The structure of finite commutative idempotent involutive residuated lattices, Monotonic modal logics with a conjunction, 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, Strongly algebraically closed orthomodular near semirings, Hilbert algebras with Hilbert-Galois connections, A representation of basic algebras by coupled right near semirings, Unnamed Item, Extended-order algebras as a generalization of posets, Unnamed Item, Unnamed Item