Pages that link to "Item:Q755577"
From MaRDI portal
The following pages link to The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz (Q755577):
Displaying 16 items.
- Paths to triviality (Q300832) (← links)
- Non-monotonic set theory as a pragmatic foundation of mathematics (Q301346) (← links)
- The simple consistency of naive set theory using metavaluations (Q484104) (← links)
- Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic (Q877261) (← links)
- Extensionality and restriction in naive set theory (Q965901) (← links)
- How to be really contraction free (Q1313081) (← links)
- Routes to triviality (Q1771203) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- Fuzzy class theory (Q2386239) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches (Q2498365) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- REPLY TO BJØRDAL (Q3006002) (← links)
- EPISTEMIC PERSPECTIVE—ACT—PARADIGM (Q3494920) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- Introduction (Q5892200) (← links)