E and S4
From MaRDI portal
Publication:2535235
DOI10.1305/ndjfl/1093893935zbMath0182.00504OpenAlexW2062524842MaRDI QIDQ2535235
Publication date: 1970
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093893935
Related Items (7)
Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Implication lattices ⋮ Conservative extension in relevant implication ⋮ The semantics of entailment. II ⋮ 10th Asian Logic Conference ⋮ On interpretation and separation theorems for the logical systems E and R ⋮ Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E
This page was built for publication: E and S4
