scientific article; zbMATH DE number 6819811

MaRDI QIDQ4599215zbMATH OpenFDO

Authors Nissim Francez

Publication date 18 December 2017

Full work available at URL https://aclweb.org/anthology/W/W17/W17-3406.pdf

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• Proof-theoretic semantics for subsentential phrases
• Towards an algebraic semantics for implicatives
• A general proof rule for procedures in predicate transformer semantics
• A semantic basis for proof queries and transformations
• Structuring theories with implicit morphisms
• A proof-theoretic semantics for adjectival modification
• Implicit propagation in structural operational semantics
• Speaking about transitive frames in propositional languages
• scientific article; zbMATH DE number 7307096
• scientific article; zbMATH DE number 7109521

Cited in

(4)

• An implicit argument analysis of Japanese zeros
• Implicit arguments in situation semantics
• Proof-theoretic semantics for natural language
• Proof-theoretic semantics as a resource for expressing semantic variability

This page was built for publication:

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