HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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, Nuprl2, projective plane, proof checker, sequent-based proof systems, transitive closure, type theory, Verified theorem prover backend.

Copyright © 2012-2023 easychair.org. All rights reserved.