Intensional logic in extensional language

DOI10.2307/2273143MaRDI QIDQ5184886zbMATH OpenOpenAlexFDO

Authors 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

combinatory logicgeneral modelsintensional logiclambda calculussimple theory of types

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4134011
• Intensional logic and two-sorted type theory
• scientific article; zbMATH DE number 3843727
• Intensional models for the theory of types
• Extending Montague's system: A three valued intensional logic

Cites work

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

Cited in

(20)

• Intension, designation, and extension
• Validity in intensional languages: A new approach
• Predicativity, the Russell-Myhill paradox, and Church's intensional logic
• The senses of functions in the logic of sense and denotation
• Extensional Logic of Hyperintensions
• scientific article; zbMATH DE number 4212007 (Why is no real title available?)
• Intensional models for the theory of types
• scientific article; zbMATH DE number 4164812 (Why is no real title available?)
• Intensional logic and two-sorted type theory
• scientific article; zbMATH DE number 54243 (Why is no real title available?)
• Alonzo Church's Contributions to Philosophy and Intensional Logic
• scientific article; zbMATH DE number 701121 (Why is no real title available?)
• scientific article; zbMATH DE number 1975412 (Why is no real title available?)
• scientific article; zbMATH DE number 2070194 (Why is no real title available?)
• scientific article; zbMATH DE number 1778915 (Why is no real title available?)
• Base-extension semantics for intuitionistic sentential logic
• scientific article; zbMATH DE number 761251 (Why is no real title available?)
• scientific article; zbMATH DE number 6787693 (Why is no real title available?)
• scientific article; zbMATH DE number 2209828 (Why is no real title available?)
• Extending Montague's system: A three valued intensional logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5184886)