Pages that link to "Item:Q2890700"
From MaRDI portal
The following pages link to CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH (Q2890700):
Displayed 30 items.
- The logics of strict-tolerant logic (Q253131) (← links)
- Naive modus ponens and failure of transitivity (Q263086) (← links)
- Restriction by noncontraction (Q286710) (← links)
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Naive \textit{modus ponens} (Q373022) (← links)
- Non-classical elegance for sequent calculus enthusiasts (Q519853) (← links)
- Principles for object-linguistic consequence: from logical to irreflexive (Q722029) (← links)
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← links)
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
- Paradox and logical revision. A short introduction (Q1708458) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Naive structure, contraction and paradox (Q1708466) (← links)
- Classical logic and the strict tolerant hierarchy (Q1986084) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Noncontractive classical logic (Q2295733) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES (Q2940880) (← links)
- HOW A SEMANTICS FOR TONK SHOULD BE (Q3195587) (← links)
- CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS (Q3195588) (← links)
- NAIVE SET THEORY AND NONTRANSITIVE LOGIC (Q3195591) (← links)
- Nonmonotonicity and Knowability: As Knowable as Possible (Q3299833) (← links)
- What is a Paraconsistent Logic? (Q3305335) (← links)
- Foreword: Three-valued logics and their applications (Q4583341) (← links)
- Metainferential duality (Q4994022) (← links)
- Structural proof theory for first-order weak Kleene logics (Q4995622) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- ON PATHOLOGICAL TRUTHS (Q5176162) (← links)
- A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES (Q5221290) (← links)
- Priest’s Motorbike and Tolerant Identity (Q5259657) (← links)
- A family of metainferential logics (Q5742701) (← links)