A monotonicity calculus and its completeness

MaRDI QIDQ4599217zbMATH OpenFDO

Authors Thomas F. III Icard, Lawrence S. Moss, William Tune

Publication date 18 December 2017

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

Mathematics Subject Classification ID

Logic of natural languages (03B65) Linguistics (91F20)

Recommendations

• Order-Based Inference in Natural Logic
• Inclusion and exclusion in natural language
• Natural Logic for Natural Language
• Monotonicity inference for higher-order formulas
• Monotonicity inference for higher-order formulas

Cited in

(7)

• Implementability under monotonic transformations in differences
• Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs
• Inclusion and exclusion in natural language
• The soundness of internalized polarity marking
• Monotonicity inference for higher-order formulas
• INTERLEAVING LOGIC AND COUNTING
• Monotonicity of auto-expansions

This page was built for publication: A monotonicity calculus and its completeness

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