The following pages link to Locally finite varieties. (Q1771891):
Displaying 15 items.
- Coproducts of distributive lattice-based algebras. (Q471163) (← links)
- Cofinal stable logics (Q514517) (← links)
- Varieties of Birkhoff systems. I (Q523145) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- Boolean algebras of conditionals, probability and logic (Q2211862) (← links)
- The variety generated by the truth value algebra of type-2 fuzzy sets (Q2270251) (← links)
- A strict implication calculus for compact Hausdorff spaces (Q2326420) (← links)
- Closure Łukasiewicz algebras (Q2496099) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- STRICT COHERENCE ON MANY-VALUED EVENTS (Q4638974) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- Varieties of pseudocomplemented Kleene algebras (Q6047673) (← links)