Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Constructing a continuum of predicate extensions of each intermediate propositional logic |
scientific article |
Statements
Constructing a continuum of predicate extensions of each intermediate propositional logic (English)
0 references
13 May 1996
0 references
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.
0 references
intermediate logic
0 references
logic of constant domains
0 references
predicate extension
0 references
S4
0 references
Barcan formula
0 references