Constructing a continuum of predicate extensions of each intermediate propositional logic
type: Item
instance of: scholarly article
title: Constructing a continuum of predicate extensions of each intermediate propositional logic
zbMATH Open document ID: 0837.03024
DOI: 10.1007/BF01063151
author: Nobu-Yuki Suzuki
published in: Studia Logica
publication date: 1996-05-13T00:00:00Z
review text: Waisberg and Jankov gave powerful methods for constructing a continuum of logics. But their methods are not suitable for superintuitionistic and modal predicate logics. Using a modification of these methods, the author shows that there is a continuum of logics between the intuitionistic predicate logic and the logic of constant domains; between a predicate extension of S4 and S4 with the Barcan formula. Besides, he proves that there is a continuum of predicate logics with equality whose ``equality- free fragment'' is just the intuitionistic predicate logic.
reviewed by: L.A.Chagrova
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 761090
zbMATH Keywords: intermediate logic
zbMATH Keywords: logic of constant domains
zbMATH Keywords: predicate extension
zbMATH Keywords: S4
zbMATH Keywords: Barcan formula
MaRDI profile type: Publication
cites work: Q4342093
cites work: Semantical investigations in Heyting's intuitionistic logic
cites work: A logic stronger than intuitionism
cites work: Q5604443
cites work: Q5519127
cites work: Q5595146
cites work: Eine Darstellung der Intuitionistischen Logik in der Klassischen
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Kripke models and intermediate logics
cites work: A study of intermediate predicate logics
cites work: Q3830979
cites work: Q4694215
cites work: Q4287341
cites work: Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
cites work: Q5518356
cites work: On logics intermediate between intuitionistic and classical predicate logic
cites work: Beitrag zur Metamathematik
full work available at URL: https://doi.org/10.1007/bf01063151
OpenAlex ID: W2010376212
description: scientific article; zbMATH DE number 761090