Skip to main content
Log in

Ordered sets R and Q as bases of Kripke models

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. A. Horn, Logic with truth values in a linearly ordered Heyting algebra, Journal of Symbolic Logic 34 (1969), pp. 395–408.

    Google Scholar 

  2. P. Minari, Completeness theorems for some intermediate predicate calculi, Studia Logica 42 (1983), pp. 431–441.

    Google Scholar 

  3. H. Ono, A study of intermediate predicate logics, Publications of the Research Institute for Mathematical Sciences 8 (1972/73), pp. 619–649.

    Google Scholar 

  4. H. Ono, Model extension theorem and Craig's interpolation theorem for intermediate predicate logics, Reports on Mathematical Logic 15 (1983), pp. 41–58.

    Google Scholar 

  5. G. Takeuti and S. Titani, Intuitionistic fuzzy logic and intuitionistic fuzzy set theory, Journal of Symbolic Logic 49 (1984), pp. 851–866.

    Google Scholar 

  6. T. Umezawa, On logics intermediate between intuitionistic and classical predicate logic, Journal of Symbolic Logic 24 (1959), pp. 141–153.

    Google Scholar 

  7. P. Wojtylak, Collapse of a class of infinite disjunctions in intuitionistic propositional logic, Reports on Mathematical Logic 16 (1983), pp. 37–49.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370376

Keywords

Navigation