Keyword:monotonicity

Papers
Presupposition Projection from the Scope of Quantifiers: a Novel Approach Alexandros Kalomoiros EasyChair Preprint no. 9407
The Nicolas Criterion for the Riemann Hypothesis Frank Vega EasyChair Preprint no. 7204
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
Automated Reasoning from Polarized Parse Trees Hai Hu, Thomas Icard and Larry Moss EasyChair Preprint no. 225