Type-theoretic logic with an operational account of intensionality

DOI10.1007/s11229-013-0390-1zbMath1357.03038OpenAlexW1971532953MaRDI QIDQ514081

Shalom Lappin, Chris Fox

Publication date: 8 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-013-0390-1

zbMATH Keywords

semanticslogictype theoryintensionalityoperational interpretation

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Semantics and Stratification
• Computable Models
• Hyperintensions
• Computable Models

This page was built for publication: Type-theoretic logic with an operational account of intensionality