Studia Logica 49 (1):127 - 132 (1990)
| 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
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/BF00401558 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - American Elsevier Pub. Co..
A Reduction of the Axioms for the Theory of Propositional Types.Peter Andrews - 1963 - Fundamenta Mathematicae 52:345-350.
Citations of this work BETA
No citations found.
Similar books and articles
Intensional Completeness in an Extension of Gödel/Dummett Logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
A Comparison of Two Intensional Logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.
First-Order Intensional Logic.Melvin Fitting - 2004 - Annals of Pure and Applied Logic 127 (1-3):171-193.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - American Elsevier Pub. Co..
Analytics
Added to PP index
2009-01-28
Total views
75 ( #132,919 of 2,410,262 )
Recent downloads (6 months)
3 ( #244,680 of 2,410,262 )
2009-01-28
Total views
75 ( #132,919 of 2,410,262 )
Recent downloads (6 months)
3 ( #244,680 of 2,410,262 )
How can I increase my downloads?
Downloads
