Pages that link to "Item:Q1670488"
From MaRDI portal
The following pages link to Contraction, infinitary quantifiers, and omega paradoxes (Q1670488):
Displayed 10 items.
- \(\mathrm{IKT}^\omega\) and Łukasiewicz-models (Q1982009) (← links)
- Structural weakening and paradoxes (Q1982021) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- Noncontractive classical logic (Q2295733) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION” (Q3389498) (← links)
- Disjoint Logics (Q5013619) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)
- ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS (Q6188337) (← links)