Switch to: Citations

References in:

Extending Montague's system: A three valued intensional logic

E. H. Alves & J. A. D. Guerzoni

Studia Logica 49 (1):127 - 132 (1990)

Add references

You must login to add references.

Many-valued logics.J. Barkley Rosser - 1952 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.details Many-Valued Logic in Logic and Philosophy of Logic Philosophy of Mathematics Direct download (4 more) Export citation Bookmark 38 citations
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..details CHAPTER 1. INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, ... Semantics for Modal Logic in Logic and Philosophy of Logic $119.99 used View on Amazon.com Direct download (3 more) Export citation Bookmark 65 citations
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.details INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, we have in mind an ... Modal and Intensional Logic in Logic and Philosophy of Logic Type-Theoretic Semantics in Philosophy of Language $31.95 new $41.80 used View on Amazon.com Direct download Export citation Bookmark 66 citations
A theory of propositional types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.details Classical Logic in Logic and Philosophy of Logic Higher-Order Logic in Logic and Philosophy of Logic Ontology of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 22 citations
A reduction of the axioms for the theory of propositional types.Peter Andrews - 1963 - Fundamenta Mathematicae 52:345-350.details Axioms of Set Theory, Misc in Philosophy of Mathematics Export citation Bookmark 9 citations

1