David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 58 (4):1365-1401 (1993)
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)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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
Total downloads7 ( #209,974 of 1,410,540 )
Recent downloads (6 months)1 ( #178,988 of 1,410,540 )
How can I increase my downloads?