Pages that link to "Item:Q1402586"
From MaRDI portal
The following pages link to The undecidability of Grišin's set theory (Q1402586):
Displayed 9 items.
- Analytic calculi for circular concepts by finite revision (Q383558) (← links)
- Stability and paradox in algorithmic logic (Q861519) (← links)
- Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic (Q877261) (← links)
- Soft linear set theory (Q941435) (← links)
- Comprehension contradicts to the induction within Łukasiewicz predicate logic (Q1016508) (← links)
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435) (← links)
- Some Comments and Replies (Q3305682) (← links)
- On contraction and the modal fragment (Q3520225) (← links)
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)