When are different type-logical semantic definitions defining equivalent meanings?

DOI10.1016/j.jcss.2011.08.005zbMath1256.03035OpenAlexW2023948713MaRDI QIDQ439958

Nissim Francez

Publication date: 17 August 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.08.005

zbMATH Keywords

type-logical grammarsemanticsequivalent meaningstyped meanings

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites Work

• Unnamed Item
• Unnamed Item
• Lectures on the Curry-Howard isomorphism
• Model Theory for the Higher Order Predicate Calculus
• Intensional models for the theory of types
• A relational formulation of the theory of types
• Generalized quantifiers and natural language
• A characterization of monotonicity with collective quantifiers
• Hyperintensions

This page was built for publication: When are different type-logical semantic definitions defining equivalent meanings?