Pages that link to "Item:Q5935996"
From MaRDI portal
The following pages link to Decidable and undecidable prime theories in infinite-valued logic (Q5935996):
Displayed 4 items.
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Interpretation of De Finetti coherence criterion in Łukasiewicz logic (Q1035659) (← links)
- Geometry of Robinson consistency in Łukasiewicz logic (Q2370369) (← links)
- Bratteli diagrams via the De Concini–Procesi theorem (Q5159143) (← links)