Applications of weak Kripke semantics to intermediate consequences

DOI10.1007/BF01881553MaRDI QIDQ1097261zbMATH OpenFDO

Authors Wolfgang Rautenberg

Publication date 1986

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

completeness of weak Kripke semantics for intermediate consequencescounterslicesImplicationless fragmentsintermediate logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Review text

The author first proves the completeness of weak Kripke semantics for intermediate consequences, then he applies the completeness theorem to the study of minute structure of so-called counterslices. Implicationless fragments are also treated.

Recommendations

• scientific article; zbMATH DE number 3933040
• Simplified Kripke style semantics for some very weak modal logics
• scientific article; zbMATH DE number 1292304
• Semantical analysis of weak Kleene logics
• An epistemic interpretation of paraconsistent weak Kleene logic
• Weak Kripke structures and LTL
• scientific article; zbMATH DE number 3935011
• scientific article; zbMATH DE number 3837996
• On the weak Kleene scheme in Kripke's theory of truth
• scientific article; zbMATH DE number 759444

Cited in

(2)

• Replacement in logic
• A Strange Remark Attributed to Gödel

This page was built for publication: Applications of weak Kripke semantics to intermediate consequences

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