Faithfulness for naive validity
From MaRDI portal
Recommendations
Cites work
- Anything goes
- Conservatively extending classical logic with transparent truth
- Cut Elimination in the Presence of Axioms
- Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
- Disarming a paradox of validity
- External curries
- Naive \textit{modus ponens}
- Self-reference and the Languages of Arithmetic
- There is no paradox of logical validity
- Tolerant, classical, strict
- Validity as a primitive
Cited in
(14)- A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP
- Sequent calculi for first-order ST
- A hybrid calculus for the validities and invalidities of classical propositional logic
- Degrees of validity and the logical paradoxes
- On the metainferential solution to the semantic paradoxes
- Validity, dialetheism and self-reference
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Validity as a primitive
- Validity in a dialetheist framework
- Editorial introduction: substructural logics and metainferences
- There is no paradox of logical validity
- The final cut
- Towards a non-classical meta-theory for substructural approaches to paradox
- Expressing validity: towards a self-sufficient inferentialism
This page was built for publication: Faithfulness for naive validity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052637)