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 - 6 results of 6 for search 'Arnon Avron', query time: 0.03s Refine Results
  1. 1
    A Logical Framework for Set Theories

    A Logical Framework for Set Theories by Arnon Avron

    Published 2012-03-01
    Get full text
    Article
  2. 2
    The Problematic Nature of Gödel’s Disjunctions and Lucas-Penrose’s Theses

    The Problematic Nature of Gödel’s Disjunctions and Lucas-Penrose’s Theses by Arnon Avron

    Published 2020-11-01
    Get full text
    Article
  3. 3
    Canonical calculi with (n,k)-ary quantifiers

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

    Published 2008-08-01
    Get full text
    Article
  4. 4
    On Constructive Connectives and Systems

    On Constructive Connectives and Systems by Arnon Avron, Ori Lahav

    Published 2010-12-01
    Get full text
    Article
  5. 5
    Formalizing Scientifically Applicable Mathematics in a Definitional Framework

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

    Published 2016-01-01
    Get full text
    Article
  6. 6
    Applicable Mathematics in a Minimal Computational Theory of Sets

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

    Published 2018-10-01
    Get full text
    Article

Search Tools: