CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R

DOI10.1017/S1755020319000388zbMath1486.03045OpenAlexW2970036415MaRDI QIDQ3389499

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

gammacutconstant domain relevant logicpropositional relevant logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in intermediate logics
• Simplified semantics for relevant logics (and some of their rivals)
• Completeness of relevant quantification theories
• Proof analysis in modal logic
• Semantics for quantified relevance logic
• Simplified semantics for basic relevant logics
• Models for entailment
• Relevant analytic tableaux
• Handbook of philosophical logic. Vol. 6
• First-order modal logic
• Proofs and countermodels in non-classical logics
• Begründung einer strengen Implikation
• The Story of $$\gamma $$ γ
• E, R AND γ

This page was built for publication: CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R