Applications of weak Kripke semantics to intermediate consequences
type: Item
instance of: scholarly article
title: Applications of weak Kripke semantics to intermediate consequences
zbMATH Open document ID: 0635.03020
DOI: 10.1007/BF01881553
author: Wolfgang Rautenberg
published in: Studia Logica
publication date: 1986-01-01T00:00:00Z
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.
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 4033706
zbMATH Keywords: intermediate logic
zbMATH Keywords: completeness of weak Kripke semantics for intermediate consequences
zbMATH Keywords: counterslices
zbMATH Keywords: Implicationless fragments
reviewed by: Tsutomu Hosoi
MaRDI profile type: Publication
cites work: Q3218183
cites work: Q5519127
cites work: Q4744323
Recommended article: Q3707996
Recommended article: Simplified Kripke style semantics for some very weak modal logics
Recommended article: Q4244313
Recommended article: Semantical analysis of weak Kleene logics
Recommended article: An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
Recommended article: Weak Kripke Structures and LTL
Recommended article: Q3708781
Recommended article: Q3309811
Recommended article: On the weak Kleene scheme in Kripke's theory of truth
Recommended article: Q4834486
description: scientific article; zbMATH DE number 4033706