Naive \textit{modus ponens}
From MaRDI portal
Publication:373022
Recommendations
Cites work
- scientific article; zbMATH DE number 2150328 (Why is no real title available?)
- A model of tolerance
- Conservatively extending classical logic with transparent truth
- Linear logic
- Saving truth from paradox
- Sense, entailment and modus ponens
- Subintuitionistic logics
- The inconsistency of certain formal logics
- The logic of paradox
- Tolerant, classical, strict
- Truth without contra(di)ction
Cited in
(23)- Paradox and logical revision. A short introduction
- Naive modus ponens and failure of transitivity
- A family of metainferential logics
- A family of strict/tolerant logics
- Restriction by noncontraction
- $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$
- Principles for object-linguistic consequence: from logical to irreflexive
- Shallow analysis and the slingshot argument
- What is a paraconsistent logic?
- ST, LP and tolerant metainferences
- On a supposed criticism of counterexample to modus ponens
- Naive truth and naive logical properties
- A hierarchy of classical and paraconsistent logics
- Reinflating logical consequence
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- Deep \textsf{ST}
- Naive structure, contraction and paradox
- Faithfulness for naive validity
- Paradoxes of logical equivalence and identity
- Chancy Modus Ponens
- The opacity of truth
- Instability and contraction. \textit{Méditations hégéliennes}. I
- A note on Gödel, Priest and naïve proof
This page was built for publication: Naive \textit{modus ponens}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q373022)