Keyword:monotonicity

Publications
A Verified Theorem Prover Backend Supported by a Monotonic Library Vincent Rahli, Liron Cohen and Mark Bickford In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Presupposition Projection from the Scope of Quantifiers: a Novel Approach Alexandros Kalomoiros EasyChair Preprint 9407
The Nicolas Criterion for the Riemann Hypothesis Frank Vega EasyChair Preprint 7204
Automated Reasoning from Polarized Parse Trees Hai Hu, Thomas Icard and Larry Moss EasyChair Preprint 225