Pages that link to "Item:Q1402586"
From MaRDI portal
The following pages link to The undecidability of Grišin's set theory (Q1402586):
Displayed 14 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)
- Observations on the trivial world (Q2051134) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Paraconsistent metatheory: new proofs with old tools (Q2155941) (← 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)
- Metatheory and dialetheism (Q5061409) (← links)
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)