• Reasoning Inside The Box: Deduction in Herbrand Logics [pdf, EasyChair]
    Liron Cohen and Yoni Zohar
    Proceedings of GCAI, 2017
  • A Minimal Computational Theory of a Minimal Computational Universe [pdf]
    Arnon Avron and Liron Cohen
    Proceedings of LFCS, 2017
  • Completeness for Ancestral Logic via a Computationally-Meaningful Semantics [pdf, SpringerLink]
    Liron Cohen
    Proceedings of TABLEAUX, 2017
  • Intuitionistic Ancestral Logic [pdf, Oxford Journals]
    Liron Cohen and Robert Constable
    Journal of Logic and Computation, 2015
  • Formalizing Scientifically Applicable Mathematics in a Definitional Framework [pdf,JFR]
    Arnon Avron and Liron Cohen
    Journal of Formalized Reasoning, 2015
  • Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language [pdf, SpringerLink]
    Liron Cohen and Robert Constable
    Proceedings of WoLLIC, 2015
  • The Middle Ground - Ancestral Logic [pdf, SpringerLink]
    Liron Cohen and Arnon Avron
    Synthese, special issue ''Between First- and Second-order Logic'', 2014
  • Ancestral Logic: A Proof Theoretical Study [pdf, SpringerLink]
    Liron Cohen and Arnon Avron
    Proceedings of WoLLIC, 2014


  • Formalizing Mathematics via Predicative and Constructive Approaches [pdf]
    Ph.D. Thesis
    Tel Aviv University, 2016
  • Ancestral Logic and Equivalent Systems [pdf]
    M.Sc. Thesis
    Tel Aviv University, 2010

Presentations in International Conferences and Workshops

  • A Minimal Predicative Framework for Formalizing Mathematics [abstract]
    Association for Symbolic Logic North American annual meeting, 2017
  • Predicative Mathematics via Safety Relations [abstract]
    Logic Colloquium, 2014
  • Intuitionistic Ancestral Logic [abstract]
    Proof, Structure and Computation Workshop, Affiliated with CSL-LICS, 2014
  • Ancestral Logic [abstract]
    Between First and Second Order Logic Workshop, Unilog, 2013