Intensional logic in extensional language

DOI10.2307/2273143zbMath0561.03007OpenAlexW2092930063MaRDI QIDQ5184886

Charles Parsons

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273143

zbMATH Keywords

lambda calculussimple theory of typescombinatory logicintensional logicgeneral models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Second- and higher-order model theory (03C85) Properties of classes of models (03C52) Combinatory logic and lambda calculus (03B40)

Related Items (3)

The Senses of Functions in the Logic of Sense and Denotation ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ Alonzo Church's Contributions to Philosophy and Intensional Logic

Cites Work

• Combinatory logic. Vol. II
• Some New Axioms for the Logic of Sense and Denotation: Alternative (0)
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)

This page was built for publication: Intensional logic in extensional language