Abstract
Given an intermediate prepositional logic L, denote by L −dits disjuctionless fragment. We introduce an infinite sequence {J n}n⩾1 of propositional formulas, and prove:
(1)For any L: L −d=I −d (I=intuitionistic logic) if and only if J n∉ L for every n ⩾ 1.
Since it turns out that L∩{J n} n⩾1 = Ø for any L having the disjunction property, we obtain as a corollary that L −d = I −d for every L with d.p. (cf. open problem 7.19 of [5]). Algebraic semantic is used in the proof of the “if” part of (1). In the last section of the paper we provide a characterization in Kripke's semantic for the logics J n =I+ +J n (n ⩾ 1).
Similar content being viewed by others
References
R. Balbes, P. Dwinger, Distributive lattices, University of Missouri Press, Columbia, 1974.
E. Casari, Intermediate logics, in Atti degli Incontri di Logica Matematica 1982, Siena, 1983, pp. 243–298.
G. Gentzen, Untersuchungen über das logische Schliessen, Mathematische Zeitschrift 39 (1935), pp. 176–210.
K. Gödel, Zum intuitionistischen Aussagenkalkül, Ergebnisse eines mathematischen Kolloquiums 4 (1931/32), p. 40.
T. Hosoi, H. Ono, Intermediate propositional logics (A Survey), Journal of Tsuda College 5 (1973), pp. 67–82.
V. A. Jankov, On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures (in Russian), Doklady Akademii Nauk SSSR 151 (1963), pp. 1293–1294.
G. C. McKay, The decidability of certain intermediate propositional logics, The Journal of Symbolic Logic 33 (1968), pp. 258–264.
C. G. McKay, A class of decidable intermediate propositional logics, The Journal of Symbolic Logic 36 (1971), pp. 127–128.
J. C. C. McKinsey, A. Tarski, Some theorems about the sentential calculi of Lewis and Heyting, The Journal of Symbolic Logic 13 (1948), pp. 1–15.
H. Ono, Kripke models and Intermediate Logics, Publications of the Research Institute for Mathematical Sciences (R.I.M.S.) 6 (1970), pp. 461–476.
W. Rautenberg, Klassische und nichtklassische Aussagenlogik, Vieweg, Braunschweig, 1979.
K. Segerberg, Proof of a conjecture of McKay, Fundamenta Mathematicae 81 (1974), pp. 267–270.
V. B. Šehtman, On incomplete propositional logics (in Russian), Doklady Akademii Nauk SSSR 235 (1977), pp. 524–525.
A. S. Troelstra, On intermediate propositional logics, Indagationes Mathematicae 27 (1965), pp. 141–152.
M. Wajsberg, Untersuchungen über den Aussagenkalkül von A. Heyting, Wiadomości Matematyczne 46 (1938), pp. 45–101.
A. WroŃski, Intermediate logics and the disjunction property, Reports on Mathematical Logic 1 (1973), pp. 35–51.
V. A. Jankov, Calculus of the weak excluded middle (in Russian), Isvestina Akademii Nauk SSSR 32 (1968), pp. 1044–1051.
T. J. Medvedev, Interpretacija logičeskih formul posredstvom finitnyh zadač i ee sviaź steoriei realizuemosti, Doklady Akademii Nauk SSSR 148 (1963), pp. 771–774.
P. Minari, On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes, to appear in Studia, Logica (1986).
M. Szatkowski, On fragments of Medvedev logic, Studia Logica 40 (1981), pp. 39–54.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Minari, P. Intermediate logics with the same disjunctionless fragment as intuitionistic logic. Stud Logica 45, 207–222 (1986). https://doi.org/10.1007/BF00373276
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00373276