The completeness of S

DOI10.1007/BF00370438zbMath0406.03029MaRDI QIDQ1257470

Harry Deutsch

Publication date: 1979

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

CompletenessKripke ModelsKripke-Type SemanticsAnalytic ImplicationRelevant Logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)

Related Items (9)

Correia semantics revisited ⋮ A computational interpretation of conceptivism ⋮ Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ Topic-theoretic extensions of analytic implication ⋮ Logics of nonsense and Parry systems ⋮ Meeting of the Association for Symbolic Logic ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Paraconsistent analytic implication ⋮ A note on the decidability of a strong relevant logic

Cites Work

• Analytic implication
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• A semantical theory of analytic implication
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: The completeness of S