E and S4

DOI10.1305/NDJFL/1093893935MaRDI QIDQ2535235zbMATH OpenOpenAlexFDO

Authors Robert K. Meyer

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

zbMATH Keywords

general logic

Cited in

(12)

• Implication lattices
• The semantics of entailment. II
• Conservative extension in relevant implication
• On interpretation and separation theorems for the logical systems E and R
• 10th Asian Logic Conference
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
• Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
• Simplified semantics for further relevant logics. II: Propositional constants
• Simplified semantics for further relevant logics. I: Unreduced semantics for \(\mathbf{E}\) and \(\boldsymbol{\Pi}'\)
• Entailment, mingle and binary accessibility

This page was built for publication: E and S4

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