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
    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
    0 references
    intermediate logic
    0 references
    logic of constant domains
    0 references
    predicate extension
    0 references
    S4
    0 references
    Barcan formula
    0 references

    Identifiers