Pages that link to "Item:Q2370369"
From MaRDI portal
The following pages link to Geometry of Robinson consistency in Łukasiewicz logic (Q2370369):
Displayed 13 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)
- Word problems in Elliott monoids (Q1669037) (← links)
- Polyhedral MV-algebras (Q1697339) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- Functional representation of finitely generated free algebras in subvarieties of BL-algebras (Q2007879) (← links)
- Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- The Differential Semantics of Łukasiewicz Syntactic Consequence (Q2948587) (← links)
- Consequence Relations with Real Truth Values (Q5020171) (← links)
- Bratteli diagrams via the De Concini–Procesi theorem (Q5159143) (← links)