Anatomy of a proposition

DOI10.1007/s11229-017-1512-yzbMath1474.03028OpenAlexW2746835230MaRDI QIDQ2052190

Bjørn Jespersen

Publication date: 25 November 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-017-1512-y

zbMATH Keywords

type theorystructureprocedural semanticslambda-calculuspropositiontransparent intensional logicunitypredication

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40)

Related Items (2)

On the fundamental role of `means that' in semantic theorizing ⋮ Hyperintensional logics for everyone

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Transparent quantification into hyperintensional objectual attitudes
• Constructions, proofs and the meaning of logical constants
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Predication and extensionalization
• On the number of types
• NON-WELLFOUNDED MEREOLOGY
• Mathematics in Megethology
• Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

This page was built for publication: Anatomy of a proposition