A proof of gamma

MaRDI QIDQ5100004zbMATH OpenFDO

Authors Saul A. Kripke

Publication date 26 August 2022

zbMATH Keywords

completenesspartial valuationrelevance logicrule \(\gamma\)semantic tableau

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Cut and gamma. I: Propositional and constant domain \textbf{R}
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Where gamma fails
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• The admissibility of \(\gamma\) in R4

Cited in

(2)

• A proof of GMP square root
• -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting

This page was built for publication: A proof of gamma

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