External curries
From MaRDI portal
Publication:496329
DOI10.1007/s10992-014-9336-4zbMath1329.03089OpenAlexW3189055144MaRDI QIDQ496329
Graham Priest, Heinrich Wansing
Publication date: 21 September 2015
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-014-9336-4
contractionexternal validityinternal validityCurry paradoxexternal consequence relationshigher-level sequent calculiinternal consequence relations
Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Faithfulness for naive validity
Cites Work
- Logical consequence and the paradoxes
- The semantics and proof theory of linear logic
- Sequent-systems and groupoid models. I
- Rules in relevant logic. I: Semantic classification
- There is no paradox of logical validity
- Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
- The inconsistency of certain formal logics
