A Computable Solution to Partee’s Temperature Puzzle

DOI10.1007/978-3-662-53826-5_11zbMath1485.03069OpenAlexW2554316162MaRDI QIDQ2964003

Sam Sanders, Kristina Liefke

Publication date: 22 February 2017

Published in: Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-53826-5_11

zbMATH Keywords

computabilityindividual conceptscontinuous functionalsassociatestemperature puzzle

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Cites Work

• A constructive manifestation of the Kleene-Kreisel continuous functionals
• Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
• Recursion on the countable functionals
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Natural language semantics and computability
• Higher-Order Computability
• A relational formulation of the theory of types
• Computational Semantics with Functional Programming
• A Constructive Model of Uniform Continuity
• Hyperintensions
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Modified bar recursion
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item