Pages that link to "Item:Q3389498"
From MaRDI portal
The following pages link to A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION” (Q3389498):
Displaying 5 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)
- Systems for non-reflexive consequence (Q6067744) (← links)
- ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS (Q6188337) (← links)
