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

DOI10.1016/J.JCSS.2011.08.005zbMATH Open1256.03035OpenAlexW2023948713MaRDI QIDQ439958FDOQ439958

Authors: 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

Recommendations

• Logical analysis of definitional deduction
• scientific article; zbMATH DE number 1175489
• The granularity of meaning in proof-theoretic semantics
• Equivalence of formal semantics definition methods
• scientific article; zbMATH DE number 4074517

zbMATH Keywords

semanticsequivalent meaningstype-logical grammartyped meanings

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites Work

• Lectures on the Curry-Howard isomorphism
• Intensional models for the theory of types
• Generalized quantifiers and natural language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model Theory for the Higher Order Predicate Calculus
• A relational formulation of the theory of types
• A characterization of monotonicity with collective quantifiers
• Hyperintensions

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

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