Pages that link to "Item:Q5693116"
From MaRDI portal
The following pages link to A note on Hájek, Paris and Shepherdson's theorem (Q5693116):
Displaying 4 items.
- Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic (Q877261) (← links)
- Comprehension contradicts to the induction within Łukasiewicz predicate logic (Q1016508) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Some remarks on Cantor-Lukasiewicz fuzzy set theory (Q4925165) (← links)