scientific article; zbMATH DE number 5169920
From MaRDI portal
Publication:5293965
zbMath1117.06001MaRDI QIDQ5293965
Jan Kühr, Radomír Halaš, Ivan Chajda
Publication date: 5 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semilatticeMV-algebraBCC-algebraimplication algebraHilbert algebradirectoidpseudocomplementrelative pseudocomplementresiduated semilatticesectional pseudocomplement
Other algebras related to logic (03G25) Structure theory of algebraic structures (08A05) Semilattices (06A12) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Related Items (68)
Pseudo Commutative Double Basic Algebras ⋮ The Sheffer stroke operation reducts of basic algebras ⋮ Sobriety and spatiality in varieties of algebras ⋮ Are basic algebras residuated structures? ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Basic algebras and L-algebras ⋮ On varieties of basic algebras ⋮ Strongly algebraically closed orthomodular near semirings ⋮ Spaces of abstract events ⋮ A glimpse of deductive systems in algebra ⋮ Spectral-like duality for distributive Hilbert algebras with infimum ⋮ The class of algebraically closed p-semilattices is finitely axiomatizable ⋮ Subdirectly irreducible IKt-algebras ⋮ Algebraic aspects of relatively pseudocomplemented posets ⋮ On Heyting algebras with negative tense operators ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ Filters of implication reducts of basic algebras. ⋮ On the logic of distributive nearlattices ⋮ On graphs of bounded semilattices ⋮ A non-associative generalization of Hájek's BL-algebras ⋮ 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 ⋮ Hedges and successors in basic algebras ⋮ Effect algebras are conditionally residuated structures ⋮ The homomorphism equation on semilattices ⋮ The propositional logic induced by means of basic algebras ⋮ Residuated relational systems ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ Commutative basic algebras and coupled near semirings ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Analytic computable structure theory and $L^p$ spaces ⋮ Quasi-orthomodular posets and weak BCK-algebras. ⋮ Stone style duality for distributive nearlattices ⋮ A note on congruences of semilattices with sectionally finite height. ⋮ Algebraic axiomatization of tense intuitionistic logic ⋮ Unnamed Item ⋮ On a new construction of pseudocomplemented semilattices ⋮ The structure of finite commutative idempotent involutive residuated lattices ⋮ Monotonic modal logics with a conjunction ⋮ Convex congruences ⋮ Annihilator-preserving congruence relations in distributive nearlattices ⋮ \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices ⋮ Relative annihilator-preserving congruence relations and relative annihilator-preserving homomorphisms in bounded distributive semilattices. ⋮ Unnamed Item ⋮ On the role of logical connectives for primality and functional completeness of algebras of logics ⋮ The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras ⋮ Monotonic distributive semilattices ⋮ Congruences on near-Heyting algebras ⋮ Principal and Boolean congruences on \(IKt\)-algebras ⋮ Finite distributive nearlattices ⋮ The logic of distributive nearlattices ⋮ Pseudocomplemented lattice effect algebras and existence of states ⋮ Note on $\alpha$-filters in distributive nearlattices ⋮ Unnamed Item ⋮ Extended-order algebras as a generalization of posets ⋮ A representation of basic algebras by coupled right near semirings ⋮ Remarks on normal distributive nearlattices ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic ⋮ Quasi-modal operators on distributive nearlattices ⋮ A completion for distributive nearlattices ⋮ Representations of Sheffer stroke algebras and Visser algebras ⋮ Hilbert algebras with a modal operator \(\diamondsuit\) ⋮ On order types of linear basic algebras. ⋮ Unnamed Item
This page was built for publication:
