-admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
From MaRDI portal
\(\gamma\)-admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
Cites work
- A content semantics for quantified relevant logics. I
- A content semantics for quantified relevant logics. II
- A proof of gamma
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
- An alternative semantics for quantified relevant logic
- Begründung einer strengen Implikation
- Completeness of relevant quantification theories
- Conditional \textbf{FDE} logics
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- E, R AND γ
- General frames for relevant modal logics
- Handbook of proof theory
- scientific article; zbMATH DE number 4130376 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- Metacompleteness
- Neighbourhood semantics for modal relevant logics
- Neighbourhood semantics for quantified relevant logics
- QUANTIFIED MODAL RELEVANT LOGICS
- Relative necessity
- Semantics for quantified relevance logic
- Structural completeness in relevance logics
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
- The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
- The admissibility of \(\gamma\) in R4
- The connectives
- The semantics of entailment. II
- The Story of \gamma γ
- Where gamma fails
- Whither relevant arithmetic?
This page was built for publication: \(\gamma\)-admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6938608)
