scientific article; zbMATH DE number 3245491
From MaRDI portal
Publication:5532577
zbMath0153.02704MaRDI QIDQ5532577
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The Sheffer stroke operation reducts of basic algebras ⋮ Unnamed Item ⋮ Conditions for permutability of congruences in implication algebras ⋮ Unnamed Item ⋮ Axiomatization of the De Morgan type rules ⋮ Undecidability of relatively free Hilbert algebras ⋮ Finite distributive semilattices ⋮ Unnamed Item ⋮ Decomposability of free Łukasiewicz implication algebras ⋮ Representation of cubic lattices by symmetric implication algebras ⋮ Unnamed Item ⋮ A universal algebraic set theory built on mereology with applications ⋮ Unnamed Item ⋮ A glimpse of deductive systems in algebra ⋮ Filters of implication reducts of basic algebras. ⋮ On the logic of distributive nearlattices ⋮ Correspondence theory for generalized modal algebras ⋮ Relational representation for subordination Tarski algebras ⋮ Finite Tarski algebras are determined by their endomorphisms ⋮ Monadic quasi-modal distributive nearlattices ⋮ Priestley-style duality for DN-algebras ⋮ On implicative BE algebras ⋮ Characterizations of near-Heyting algebras ⋮ On Implicative and Positive Implicative GE Algebras ⋮ Nearlattices with an overriding operation ⋮ Unnamed Item ⋮ An axiomatic survey of diagram lemmas for non-abelian group-like structures ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categorical (binary) difference terms and protomodularity ⋮ Skew lattices and binary operations on functions ⋮ Quasi-orthomodular posets and weak BCK-algebras. ⋮ Stone style duality for distributive nearlattices ⋮ Hilbert algebras as implicative partial semilattices ⋮ Unnamed Item ⋮ Bibliography on quantum logics and related structures ⋮ Congruence kernels of orthomodular implication algebras ⋮ Distributive implication groupoids ⋮ Nearlattices ⋮ Annihilator-preserving congruence relations in distributive nearlattices ⋮ Endomorphisms of implication algebras ⋮ On implicator groupoids ⋮ (S,N)-Implications on Bounded Lattices ⋮ Weakly distributive semilattices ⋮ An intriguing logic with two implicational connectives ⋮ A non-associative generalization of MV-algebras ⋮ Basic algebras, logics, trends and applications ⋮ Complete and atomic Tarski algebras ⋮ Congruences on near-Heyting algebras ⋮ An implication in orthologic ⋮ Algebraic functions in Łukasiewicz implication algebras ⋮ Importation lattices ⋮ Finite distributive nearlattices ⋮ The logic of distributive nearlattices ⋮ Join-semilattices whose sections are residuated PO-monoids ⋮ The axioms for implication in orthologic ⋮ Note on $\alpha$-filters in distributive nearlattices ⋮ Subordination Tarski algebras ⋮ Quasivarieties and congruence permutability of Łukasiewicz implication algebras ⋮ On extended implication groupoids ⋮ Operations and structures derived from non-associative MV-algebras ⋮ Implication algebras are 3-permutable and 3-distributive ⋮ Unnamed Item ⋮ Equational spectrum of Hilbert varieties ⋮ Remarks on normal distributive nearlattices ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ Quasi-modal operators on distributive nearlattices ⋮ On GE-algebras ⋮ A completion for distributive nearlattices ⋮ Unnamed Item ⋮ On some classes of commutative weak BCK-algebras ⋮ Connections among quantum logics. I: Quantum propositional logics ⋮ Connections among quantum logics. II: Quantum event logics
