The following pages link to (Q4465174):
Displayed 22 items.
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Axiomatic extensions of IMT3 logic (Q817693) (← links)
- On some categories of involutive centered residuated lattices (Q1005951) (← links)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- Free weak nilpotent minimum algebras (Q1699733) (← links)
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605) (← links)
- A representation of residuated lattices satisfying the double negation law (Q1797800) (← links)
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term (Q1935556) (← links)
- Rotation logics (Q2219165) (← links)
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- On linear varieties of MTL-algebras (Q2317504) (← links)
- A temporal semantics for nilpotent minimum logic (Q2353684) (← links)
- First-order nilpotent minimum logics: first steps (Q2377356) (← links)
- Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops (Q2573726) (← links)
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic (Q3520229) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Nilpotent Minimum Logic NM and Pretabularity (Q5126202) (← links)
- Varieties of bounded K-lattices (Q6079408) (← links)