The completeness of S

DOI10.1007/BF00370438zbMATH Open0406.03029MaRDI QIDQ1257470FDOQ1257470

Authors: Harry Deutsch 

Publication date: 1979

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

zbMATH Keywords

CompletenessKripke ModelsAnalytic ImplicationKripke-Type SemanticsRelevant Logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

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

This page was built for publication: The completeness of S

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