Pages that link to "Item:Q5935996"

The following pages link to Decidable and undecidable prime theories in infinite-valued logic (Q5935996):

Displayed 3 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)