The following pages link to (Q3584003):
Displaying 21 items.
- Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- Residuated lattices. An algebraic glimpse at substructural logics (Q881452) (← links)
- Closure operators and complete embeddings of residuated lattices (Q1402589) (← links)
- Convex MV-algebras: many-valued logics meet decision theory (Q1615991) (← links)
- The Archimedean property: new horizons and perspectives (Q1630814) (← links)
- Density revisited (Q1699744) (← links)
- On Birkhoff's common abstraction problem (Q1935562) (← links)
- Logic of convex order (Q2062214) (← links)
- Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
- From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices (Q2352454) (← links)
- Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras. (Q2449457) (← links)
- Free ordered algebraic structures towards proof theory (Q2747705) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- Ordering protoalgebraic logics (Q2957951) (← links)
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- Nilpotency and the Hamiltonian property for cancellative residuated lattices (Q5864698) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
