The following pages link to (Q4083730):
Displaying 50 items.
- The strong endomorphism kernel property for modular p-algebras and for distributive lattices (Q271701) (← links)
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- A new approach for classification of filters in residuated lattices (Q277573) (← links)
- Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. (Q284973) (← links)
- Order in implication zroupoids (Q295916) (← links)
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- A note on regular De Morgan semi-Heyting algebras (Q305161) (← links)
- Semantical conditions for the definability of functions and relations (Q312209) (← links)
- On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
- Fuzzy prime Boolean filters and their operations in IMTL-algebras (Q376765) (← links)
- Generalized Bosbach states. II (Q377478) (← links)
- The fixed set of a derivation in lattices (Q383895) (← links)
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- MV-algebras freely generated by finite Kleene algebras. (Q387625) (← links)
- Funayama's theorem revisited (Q387628) (← links)
- Super-De Morgan functions and free De Morgan quasilattices (Q403200) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- Discrete dualities for some algebras with relations (Q406447) (← links)
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Extremal states on bounded residuated \(\ell\)-monoids with general comparability (Q422419) (← links)
- State operators on generalizations of fuzzy structures (Q427916) (← links)
- The variety generated by semi-Heyting chains (Q432182) (← links)
- The Alexandroff one-point compactification as a prototype for extensions (Q456772) (← links)
- Mathematical structures of simple voting games (Q459164) (← links)
- Prime filters and ideals in distributive lattices (Q467793) (← links)
- Coproducts of distributive lattice-based algebras. (Q471163) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- Gödel algebras: interactive dualities and their applications. (Q494623) (← links)
- Normal residuated lattices (Q496998) (← links)
- Distributive mereotopology: extended distributive contact lattices (Q505967) (← links)
- Cofinal stable logics (Q514517) (← links)
- Factor congruence lifting property (Q519859) (← links)
- \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices (Q521632) (← links)
- On products of posets and coproducts of KM-algebras (Q521725) (← links)
- The Belluce-lattice associated with a bounded Hilbert algebra (Q521730) (← links)
- On implicator groupoids (Q522223) (← links)
- On lattices whose congruences form Stone lattices (Q581430) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Logics for stable and unstable mereological relations (Q651278) (← links)
- On derivations and their fixed point sets in residuated lattices (Q679840) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Free pseudocomplemented semilattices: a new approach. (Q745713) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Symbolic constraint handling through unification in finite algebras (Q757060) (← links)
- Fixed points in finite De Morgan algebras (Q762517) (← links)
- Resolution of algebraic systems of equations in the variety of cyclic Post algebras (Q763314) (← links)
