Pages that link to "Item:Q2890700"
From MaRDI portal
The following pages link to CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH (Q2890700):
Displayed 50 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)
- Structural weakening and paradoxes (Q1982021) (← links)
- Classical logic and the strict tolerant hierarchy (Q1986084) (← links)
- Faithfulness for naive validity (Q2052637) (← links)
- Validity, dialetheism and self-reference (Q2054126) (← links)
- Meaningless divisions (Q2075270) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Non-reflexivity and revenge (Q2078982) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- Noncontractive classical logic (Q2295733) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- One step is enough (Q2679573) (← links)
- Deep \textsf{ST} (Q2679574) (← links)
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates (Q2679576) (← links)
- Metainferential reasoning on strong Kleene models (Q2679577) (← links)
- Empty logics (Q2679581) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- The final cut (Q2679590) (← links)
- The laws of thought and the laws of truth as two sides of one coin (Q2686096) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← 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)
- Disjoint Logics (Q5013619) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- ON PATHOLOGICAL TRUTHS (Q5176162) (← links)