Journal of Symbolic Logic 58 (4):1365-1401 (1993)
|Abstract||A proof is given that the set of maximal intermediate propositional logics with the disjunction property and the set of maximal intermediate predicate logics with the disjunction property and the explicit definability property have the power of continuum. To prove our results, we introduce various notions which might be interesting by themselves. In particular, we illustrate a method to generate wide sets of pairwise "constructively incompatible constructive logics". We use a notion of "semiconstructive" logic and define wide sets of "constructive" logics by representing the "constructive" logics as "limits" of decreasing sequences of "semiconstructive" logics. Also, we introduce some generalizations of the usual filtration techniques for propositional logics. For instance, "filtrations over rank formulas" are used to show that any two different logics belonging to a suitable uncountable set of "constructive" logics are "constructively incompatible"|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
D. Skvortsov (2000). On the Existence of Continua of Logics Between Some Intermediate Predicate Logics. Studia Logica 64 (2):257-270.
Wiesław Dziobiak (1982). On Finite Approximability of Ψ-Intermediate Logics. Studia Logica 41 (1):67 - 73.
Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
Katsumi Sasaki (1990). The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's. Studia Logica 49 (4):471 - 481.
Nobu -Yuki Suzuki (1990). Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics. Studia Logica 49 (3):289 - 306.
Nobu-Yuki Suzuki (2003). Halldén-Completeness in Super-Intuitionistic Predicate Logics. Studia Logica 73 (1):113 - 130.
Alexander Chagrov & Michael Zakharyashchev (1991). The Disjunction Property of Intermediate Propositional Logics. Studia Logica 50 (2):189 - 216.
Larisa L. Maksimova (1986). On Maximal Intermediate Logics with the Disjunction Property. Studia Logica 45 (1):69 - 75.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?