Abstract
An intermediate predicate logicS n+ (n>0) is introduced and investigated. First, a sequent calculusGS n is introduced, which is shown to be equivalent toS n+ and for which the cut elimination theorem holds. In § 2, it will be shown thatS n+ is characterized by the class of all linear Kripke frames of the heightn.
Similar content being viewed by others
References
M. C. Fitting,Intuitionistic Logic, Model Theory and Forcing, North-Holland, Amsterdam, 1969.
T. Hosoi,On intermediate logics III,Journal of Tsuda College 6 (1974), pp. 23–38.
Y. Komori,Some results on the super-intuitionistic predicate logics,Reports on Mathematical Logic 15 (1983), pp. 13–31.
H. Ono,Model extension theorem and Craig's interpolation theorem for intermediate predicate logics,Reports on Mathematical Logics 15 (1983), pp. 41–58.
H. Ono,Some problems in intermediate predicate logics,Reports on Mathematical Logic 21 (1987), pp. 55–67.
O. Sonobe,A Gentzen-type formulation of some intermediate propositional logics,Journal of Tsuda College 7 (1975), pp. 7–14.
S. Yokota,Axiomatization of the first-order intermediate logics of bounded Kripkean heights, in preparation.
G. Corsi,On Dummett's LC quantified, manuscript, 1987.
Author information
Authors and Affiliations
Additional information
To the memory of the late Professor Iwao Nishimura
Rights and permissions
About this article
Cite this article
Ono, H. On finite linear intermediate predicate logics. Stud Logica 47, 391–399 (1988). https://doi.org/10.1007/BF00671568
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00671568