An interpretation and separation theorems for the logical systemsE andR
- 1 July 1971
- journal article
- Published by Springer Nature in Algebra and Logic
- Vol. 10 (4) , 232-241
- https://doi.org/10.1007/bf02219810
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- ${\rm E}$ and ${\rm S}4$.Notre Dame Journal of Formal Logic, 1970
- Intensional models for first degree formulasThe Journal of Symbolic Logic, 1967
- A Decision Procedure For the System EĪ of Entailment with NegationMathematical Logic Quarterly, 1965
- The pure calculus of entailmentThe Journal of Symbolic Logic, 1962