The completeness of S

DOI10.1007/BF00370438MaRDI QIDQ1257470zbMATH OpenFDO

Authors Harry Deutsch

Publication date 1979

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370438

zbMATH Keywords

Analytic ImplicationCompletenessKripke ModelsKripke-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

(11)

• A note on the decidability of a strong relevant logic
• Rivals to Belnap-Dunn logic on interlaced trilattices
• Logics of nonsense and Parry systems
• Correia semantics revisited
• A computational interpretation of conceptivism
• Exactly true and non-falsity logics meeting infectious ones
• Meeting of the Association for Symbolic Logic
• Topic-theoretic extensions of analytic implication
• Subject-matter and intensional operators. III: State-sensitive subject-matter and topic sufficiency
• Formalizing the conditionals of Diodorus Cronus and Chrysippus: logic and potential applications in human thinking
• Paraconsistent 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)