Abstract
Those formulas which are valid in every Kripke model having constant domain whose base is the ordered set R of real numbers (or, the ordered set Q of rational numbers) are characterized syntactically.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
A. Horn, Logic with truth values in a linearly ordered Heyting algebra, Journal of Symbolic Logic 34 (1969), pp. 395–408.
P. Minari, Completeness theorems for some intermediate predicate calculi, Studia Logica 42 (1983), pp. 431–441.
H. Ono, A study of intermediate predicate logics, Publications of the Research Institute for Mathematical Sciences 8 (1972/73), pp. 619–649.
H. Ono, Model extension theorem and Craig's interpolation theorem for intermediate predicate logics, Reports on Mathematical Logic 15 (1983), pp. 41–58.
G. Takeuti and S. Titani, Intuitionistic fuzzy logic and intuitionistic fuzzy set theory, Journal of Symbolic Logic 49 (1984), pp. 851–866.
T. Umezawa, On logics intermediate between intuitionistic and classical predicate logic, Journal of Symbolic Logic 24 (1959), pp. 141–153.
P. Wojtylak, Collapse of a class of infinite disjunctions in intuitionistic propositional logic, Reports on Mathematical Logic 16 (1983), pp. 37–49.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Takano, M. Ordered sets R and Q as bases of Kripke models. Stud Logica 46, 137–148 (1987). https://doi.org/10.1007/BF00370376
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370376