Pages that link to "Item:Q1577364"
From MaRDI portal
The following pages link to Logic without contraction as based on inclusion and unrestricted abstraction (Q1577364):
Displaying 21 items.
- Non-monotonic set theory as a pragmatic foundation of mathematics (Q301346) (← links)
- Stability and paradox in algorithmic logic (Q861519) (← links)
- Extensionality and restriction in naive set theory (Q965901) (← links)
- How to be really contraction free (Q1313081) (← links)
- Weight of the comprehension axiom in a theory based on logic without contractions (Q1582825) (← links)
- Naïve comprehension and contracting implications (Q1611254) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Enhancing induction in a contraction free logic with unrestricted abstraction: from \(\mathbf{Z}\) to \(\mathbf{Z}_2\) (Q2085577) (← links)
- Is cut-free logic fit for unrestricted abstraction? (Q2131274) (← links)
- Abstraction in algorithmic logic (Q2481241) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- REPLY TO BJØRDAL (Q3006002) (← links)
- CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS (Q3195588) (← links)
- NAIVE SET THEORY AND NONTRANSITIVE LOGIC (Q3195591) (← links)
- A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION” (Q3389498) (← links)
- On contraction and the modal fragment (Q3520225) (← links)
- TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY (Q3550706) (← links)
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)
- ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS (Q6188337) (← links)
