E, R AND γ
From MaRDI portal
Publication:5181343
DOI10.2307/2270909zbMATH Open0274.02008OpenAlexW1972572567MaRDI QIDQ5181343FDOQ5181343
Authors: Robert K. Meyer, J. Michael Dunn
Publication date: 1969
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270909
Cites Work
Cited In (20)
- Where gamma fails
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- The principle of separation of variables in propositional logics
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
- \(\supset\)E is admissible in ``true relevant arithmetic
- The semantics of entailment. II
- \(\mathbf{RM}\) and its nice properties
- Structural completeness in relevance logics
- The Story of $$\gamma $$ γ
- Fragments of R-mingle
- Metavaluations
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- A semantical analysis of implicational system I and of the first degree of entailment
- Relevance Logic as a Conservative Extension of Classical Logic
- The implicational fragment of $R$-mingle
- Non-Boolean classical relevant logics. I
- E-theories
- Rules in relevant logic. I: Semantic classification
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
This page was built for publication: E, R AND γ
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5181343)