Abstract
In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and Łukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.
Similar content being viewed by others
References
E. H. Alves, Sobre um sistema de lógica intensional trivalente, Thesis, UNICAMP, 1984.
P. Andrews, A reduction of the axioms for the theory of prepositional types, Fundamenta Mathematicae 52 (1963), pp. 345–50.
U. Blau, Zur 3-wertigen Logik der natürlichen Sprache, Papiere zur Linguistik 4 (1973), pp. 20–96.
D. Gallin, Intensional and Higher-Order modal logics, North-Holland, Amsterdam, 1975.
L. Henkin, A theory of propositional types, Fundamenta Mathematicae 52 (1963), pp. 323–44.
R. Montague, Formal Philosophy: selected papers of Richard Montague, ed. Richmond Thomason, New Haven, 1974.
J. B. Rosser and A. R. Turquette, Many-Valued logics, North-Holland, Amsterdam, 1952.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Alves, E.H., Guerzoni, J.A.D. Extending Montague's system: a three valued intensional logic. Stud Logica 49, 127–132 (1990). https://doi.org/10.1007/BF00401558
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00401558