The following pages link to (Q5532577):
Displaying 50 items.
- Finite Tarski algebras are determined by their endomorphisms (Q415533) (← links)
- Quasi-orthomodular posets and weak BCK-algebras. (Q466880) (← links)
- On implicator groupoids (Q522223) (← links)
- A glimpse of deductive systems in algebra (Q607435) (← links)
- Nearlattices with an overriding operation (Q633219) (← links)
- Categorical (binary) difference terms and protomodularity (Q651386) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305) (← links)
- Conditions for permutability of congruences in implication algebras (Q841165) (← links)
- Decomposability of free Łukasiewicz implication algebras (Q862351) (← links)
- Representation of cubic lattices by symmetric implication algebras (Q862981) (← links)
- Filters of implication reducts of basic algebras. (Q894674) (← links)
- Congruence kernels of orthomodular implication algebras (Q942101) (← links)
- Nearlattices (Q947812) (← links)
- Equational spectrum of Hilbert varieties (Q1035340) (← links)
- Connections among quantum logics. I: Quantum propositional logics (Q1075324) (← links)
- Connections among quantum logics. II: Quantum event logics (Q1075325) (← links)
- Undecidability of relatively free Hilbert algebras (Q1103604) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Congruences on near-Heyting algebras (Q1785571) (← links)
- The logic of distributive nearlattices (Q1797923) (← links)
- An axiomatic survey of diagram lemmas for non-abelian group-like structures (Q1950640) (← links)
- Importation lattices (Q2035404) (← links)
- Finite distributive nearlattices (Q2037588) (← links)
- Finite distributive semilattices (Q2156415) (← links)
- A universal algebraic set theory built on mereology with applications (Q2169135) (← links)
- Endomorphisms of implication algebras (Q2248024) (← links)
- Complete and atomic Tarski algebras (Q2274138) (← links)
- On extended implication groupoids (Q2316780) (← links)
- Operations and structures derived from non-associative MV-algebras (Q2318244) (← links)
- A completion for distributive nearlattices (Q2334607) (← links)
- On some classes of commutative weak BCK-algebras (Q2350966) (← links)
- The Sheffer stroke operation reducts of basic algebras (Q2364787) (← links)
- Skew lattices and binary operations on functions (Q2446546) (← links)
- Stone style duality for distributive nearlattices (Q2449454) (← links)
- Hilbert algebras as implicative partial semilattices (Q2454702) (← links)
- Distributive implication groupoids (Q2464687) (← links)
- An implication in orthologic (Q2505957) (← links)
- Implication algebras are 3-permutable and 3-distributive (Q2553985) (← links)
- Axiomatization of the De Morgan type rules (Q2640587) (← links)
- Algebraic functions in Łukasiewicz implication algebras (Q2799121) (← links)
- (Q3374776) (← links)
- (Q3508942) (← links)
- (Q3596228) (← links)
- Join-semilattices whose sections are residuated PO-monoids (Q3624940) (← links)
- The axioms for implication in orthologic (Q3625736) (← links)
- (Q3762387) (← links)
- (Q3834105) (← links)
- (Q4508848) (← links)
