A monotonicity calculus and its completeness

zbMATH Open1376.03030MaRDI QIDQ4599217FDOQ4599217

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

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

Mathematics Subject Classification ID

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

Cited In (7)

• Implementability under monotonic transformations in differences
• 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
• Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs

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)