Search Results - Arnon Avron

Arnon Avron

Arnon Avron (; born 1952) is an Israeli mathematician and Professor at the School of Computer Science at Tel Aviv University. His research focuses on applications of mathematical logic to computer science and artificial intelligence. Provided by Wikipedia
  • Showing 1 - 4 results of 4
Refine Results
  1. 1

    Canonical calculi with (n,k)-ary quantifiers by Arnon Avron, Anna Zamansky

    Published in Logical Methods in Computer Science (2008-08-01)
    Get full text
    Article


  2. 2

    On Constructive Connectives and Systems by Arnon Avron, Ori Lahav

    Published in Logical Methods in Computer Science (2010-12-01)
    Get full text
    Article


  3. 3

    Formalizing Scientifically Applicable Mathematics in a Definitional Framework by Arnon Avron, Liron Cohen

    Published in Journal of Formalized Reasoning (2016-01-01)
    Get full text
    Article


  4. 4

    Applicable Mathematics in a Minimal Computational Theory of Sets by Arnon Avron, Liron Cohen

    Published in Logical Methods in Computer Science (2018-10-01)
    Get full text
    Article


Search Tools: