The completeness of S

DOI10.1007/BF00370438MaRDI QIDQ1257470zbMATH OpenFDO

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
• A semantical theory of analytic implication
• Algebraic completeness results for R-mingle and its extensions
• 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)