Pages that link to "Item:Q2370369"
From MaRDI portal
The following pages link to Geometry of Robinson consistency in Łukasiewicz logic (Q2370369):
Displayed 5 items.
- Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras. (Q401642) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Interpretation of De Finetti coherence criterion in Łukasiewicz logic (Q1035659) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)