Cut and gamma. I: Propositional and constant domain \textbf{R}

DOI10.1017/S1755020319000388MaRDI QIDQ3389499zbMATH OpenOpenAlexFDO

Authors Yale Weiss

Publication date 11 May 2021

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000388

zbMATH Keywords

constant domain relevant logiccutgammapropositional relevant logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• A structurally complete fragment of relevant logic
• The admissibility of \(\gamma\) in R4
• Proof theory for admissible rules

Cites work

• A Routley-Meyer semantics for Ackermann's logics of ``strenge Implikation
• An introduction to non-classical logic. From if to is
• Begründung einer strengen Implikation
• Completeness of relevant quantification theories
• E, R AND γ
• First-order modal logic
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3193725 (Why is no real title available?)
• Models for entailment
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Proofs and countermodels in non-classical logics
• Relevant analytic tableaux
• Semantics for quantified relevance logic
• Simplified semantics for basic relevant logics
• Simplified semantics for relevant logics (and some of their rivals)
• The Story of \gamma γ

Cited in

(8)

• Where gamma fails
• The admissibility of \(\gamma\) in R4
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• A proof of gamma
• Cut for classical core logic
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting

This page was built for publication: Cut and gamma. I: Propositional and constant domain \textbf{R}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3389499)