Author:Liron Cohen

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
Transitive Closure Logic: Infinitary and Cyclic Proof Systems Reuben Rowe and Liron Cohen EasyChair Preprint no. 191
On Expanding Standard Notions of Constructivity Liron Cohen and Ariel Kellison EasyChair Preprint no. 189
Reasoning Inside The Box: Deduction in Herbrand Logics Liron Cohen and Yoni Zohar In:GCAI 2017. 3rd Global Conference on Artificial Intelligence

Keyphrases

automated reasoning, completeness, computability, Coq, cyclic proofs, Digital Library, Free choice sequences, geometry, Herbrand structures, induction, infinitary proofs, Intuitionistic mathematics, Kripke semantics, monotonicity, Nuprl², projective plane, proof checker, sequent-based proof systems, transitive closure, type theory, Verified theorem prover backend.