The following pages link to (Q4083730):
Displaying 50 items.
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- On the free frontal implicative semilattice extension of a frontal Hilbert algebra (Q780095) (← links)
- Multiplicative and implicative derivations on residuated multilattices (Q780164) (← links)
- On two new classes of stabilizers in residuated lattices (Q780167) (← links)
- Enumerating fuzzy switching functions and free Kleene algebras (Q796494) (← links)
- Complementing lattice-ordered groups: The projectable case (Q809110) (← links)
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids (Q812560) (← links)
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Generalized region connection calculus (Q814636) (← links)
- Finiteness based results in BL-algebras (Q816864) (← links)
- Regular grammars with truth values in lattice-ordered monoid and their languages (Q816869) (← links)
- The Medvedev lattice of computably closed sets (Q818514) (← links)
- Insertion of lattice-valued and hedgehog-valued functions (Q820101) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- Raney algebras and duality for \(T_0\)-spaces (Q831312) (← links)
- Lattices of convex normal functions (Q835105) (← links)
- An implicit function theorem for regular fuzzy logic functions (Q835273) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field (Q861578) (← links)
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580) (← links)
- Injective and projective \(T\)-Boolean algebras (Q863892) (← links)
- Truth values on generalizations of some commutative fuzzy structures (Q869115) (← links)
- Decidable theories of non-projectable \(l\)-groups of continuous functions (Q876381) (← links)
- Boolean lifting property for residuated lattices (Q894392) (← links)
- An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527) (← links)
- Some types of filters in residuated lattices (Q894672) (← links)
- Topological representation of lattice homomorphisms (Q897422) (← links)
- The Conrad program: from \(l\)-groups to algebras of logic. (Q906860) (← links)
- The algebra of conditional logic (Q913791) (← links)
- Fuzzy ideals on a distributive lattice (Q914709) (← links)
- Principal congruences on some lattice-ordered algebras (Q914716) (← links)
- On some filters and ideals of the Medvedev lattice (Q916651) (← links)
- Distributive contact lattices: topological representations (Q929965) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- Ordering the order of a distributive lattice by itself (Q941431) (← links)
- Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras (Q942326) (← links)
- On \(n \times m\)-valued Łukasiewicz-Moisil algebras (Q944048) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Stone duality and Gleason covers through de Vries duality (Q960844) (← links)
- An analysis of Ruspini partitions in Gödel logic (Q962901) (← links)
- Convex normal functions revisited (Q969586) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- The axiomatization of override and update (Q975885) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Commutative integral bounded residuated lattices with an added involution (Q1035650) (← links)
- Completion of Boolean algebras in MSet (Q1035677) (← links)
- Representation and duality for Hilbert algebras (Q1040223) (← links)
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency (Q1043325) (← links)
