No photo of Arnon Avron

View Scopus Profile

Arnon Avron

Professor

Former affiliation
 https://orcid.org/0000-0001-6831-3343
1984 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 2021

    Analysis in a Formal Predicative Set Theory

    Levi, N. & Avron, A., 2021, Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Proceedings. Silva, A., Wassermann, R. & de Queiroz, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 167-183 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13038 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Basing Sequent Systems on Exclusive-Or

    Avron, A., 2021, Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Proceedings. Das, A. & Negri, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 112-128 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12842 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Proof Systems for Gödel Logics with an Involution

    Avron, A., May 2021, Proceedings - 2021 IEEE 51st International Symposium on Multiple-Valued Logic, ISMVL 2021. IEEE Computer Society, p. 68-73 6 p. 9459653. (Proceedings of The International Symposium on Multiple-Valued Logic; vol. 2021-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2019

    First-Order Quasi-canonical Proof Systems

    Dvir, Y. & Avron, A., 2019, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, Proceedings. Cerrito, S. & Popescu, A. (eds.). Springer, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11714 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2018

    A minimal computational theory of a minimal computational universe

    Avron, A. & Cohen, L., 2018, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer Verlag, p. 37-54 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • A simple cut-free system for a paraconsistent logic equivalent to S5

    Avron, A. & Lahav, O., 2018, 12th Conference on "Advances in Modal Logic", AiML 2018. Bezhanishvili, G., D'Agostino, G., Metcalfe, G. & Studer, T. (eds.). College Publications, p. 29-42 14 p. (Advances in Modal Logic; vol. 12).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Safety, absoluteness, and computability

    Avron, A., Lev, S. & Levi, N., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2017

    Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions

    Avron, A. & Zohar, Y., 30 Jun 2017, Proceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017. IEEE Computer Society, p. 118-123 6 p. 7964977. (Proceedings of The International Symposium on Multiple-Valued Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2016

    A logical framework for developing and mechanizing set theories

    Avron, A., 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Verlag, p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A paraconsistent view on B and S5

    Avron, A. & Zamansky, A., 2016, Advances in Modal Logic, AiML 2016. Demri, S., Beklemishev, L. & Mate, A. (eds.). College Publications, p. 21-37 17 p. (Advances in Modal Logic; vol. 11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Minimal paradefinite logics for reasoning with incompleteness and inconsistency

    Arieli, O. & Avron, A., 1 Jun 2016, 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016. Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 52).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations
  • 2015

    Three-valued paraconsistent propositional logics

    Arieli, O. & Avron, A., 2015, New Directions in Paraconsistent Logic - 5th WCP. Dutta, S., Beziau, J.-Y. & Chakraborty, M. (eds.). Springer New York LLC, p. 91-129 39 p. (Springer Proceedings in Mathematics and Statistics; vol. 152).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    33 Scopus citations
  • 2014

    Ancestral logic: A proof theoretical study

    Cohen, L. & Avron, A., 2014, Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Proceedings. Springer Verlag, p. 137-151 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8652 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations
  • 2012

    Modular construction of cut-free sequent calculi for paraconsistent logics

    Avron, A., Konikowska, B. & Zamansky, A., 2012, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012. p. 85-94 10 p. 6280427. (Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    18 Scopus citations
  • 2011

    A multiple-conclusion calculus for first-order Gödel logic

    Avron, A. & Lahav, O., 2011, Computer Science - Theory and Applications - 6th International Computer Science Symposium in Russia, CSR 2011, Proceedings. p. 456-469 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6651 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Kripke semantics for basic sequent systems

    Avron, A. & Lahav, O., 2011, Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Proceedings. p. 43-57 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6793 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Non-deterministic Connectives in Propositional Gödel Logic

    Lahav, O. & Avron, A., 2011, Proceedings of the 7th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2011 and French Days on Fuzzy Logic and Applications, LFA 2011. 1 ed. p. 175-182 8 p. (Proceedings of the 7th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2011 and French Days on Fuzzy Logic and Applications, LFA 2011; vol. 1, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • What is an ideal logic for reasoning with inconsistency?

    Arieli, O., Avron, A. & Zamansky, A., 2011, IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence. p. 706-711 6 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    23 Scopus citations
  • 2010

    Logics of reasonable information sources

    Avron, A., Ben-Naim, J. & Konikowska, B., 2010, ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic. p. 61-66 6 p. 5489215. (Proceedings of The International Symposium on Multiple-Valued Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Maximally paraconsistent three-valued logics

    Arieli, O., Avron, A. & Zamansky, A., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010. Institute of Electrical and Electronics Engineers Inc., p. 310-318 9 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Scopus citations

  • Non-deterministic multi-valued logics - A tutorial

    Avron, A. & Zamansky, A., 2010, ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic. p. 53-60 8 p. 5489216. (Proceedings of The International Symposium on Multiple-Valued Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • On strong maximality of paraconsistent finite-valued logics

    Avron, A., Arieli, O. & Zamansky, A., 2010, Proceedings - 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. Institute of Electrical and Electronics Engineers Inc., p. 304-313 10 p. 5571725. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations
  • 2009

    Canonical calculi: Invertibility, axiom expansion and (non)-determinism

    Avron, A., Ciabattoni, A. & Zamansky, A., 2009, Computer Science - Theory and Applications - 4th International Computer Science Symposium in Russia, CSR 2009, Proceedings. p. 26-37 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5675 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Canonical constructive systems

    Avron, A. & Lahav, O., 2009, Automated Reasoning with Analytic Tableaux and Related Methods - 18th International Conference, TABLEAUX 2009, Proceedings. p. 62-76 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5607 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Canonical signed calculi, non-deterministic matrices and cut-elimination

    Avron, A. & Zamansky, A., 2009, Logical Foundations of Computer Science - International Symposium, LFCS 2009, Proceedings. p. 31-45 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5407 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations
  • 2008

    A triple correspondence in canonical calculi: Strong cut-elimination, coherence, and non-deterministic semantics

    Avron, A. & Zamansky, A., 2008, Computer Science - Theory and Applications - Third International Computer Science Symposium in Russia, CSR 2008, Proceedings. Springer Verlag, p. 52-63 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5010 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 2007

    Generalized non-deterministic matrices and (n,k)-ary quantifiers

    Avron, A. & Zamansky, A., 2007, Logical Foundations of Computer Science - International Symposium, LFCS 2007, Proceedings. Springer Verlag, p. 26-40 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4514 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Non-deterministic multi-valued matrices for first-order logics of formal inconsistency

    Avron, A. & Zamansky, A., 2007, 37th International Symposium on Multiple-Valued Logic, ISMVL 2007. IEEE Computer Society, p. 14-19 6 p. 4215937. (Proceedings of The International Symposium on Multiple-Valued Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations
  • 2006

    Canonical Gentzen-type calculi with (n,k)-ary quantifiers

    Zamansky, A. & Avron, A., 2006, Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings. Springer Verlag, p. 251-265 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4130 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • From constructibility and absoluteness to computability and domain independence

    Avron, A., 2006, Logical Approaches to Computational Barriers - Second Conference on Computability in Europe, CiE 2006, Proceedings. Springer Verlag, p. 11-20 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3988 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Non-deterministic semantics for first-order paraconsistent logics

    Zamansky, A. & Avron, A., 2006, Proceedings, 10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006. Institute of Electrical and Electronics Engineers Inc., p. 431-439 9 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations
  • 2005

    Non-deterministic semantics for paraconsistent C-systems

    Avron, A., 2005, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 8th European Conference, ECSQARU 2005, Proceedings. Springer Verlag, p. 625-637 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3571 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Quantification in non-deterministic multi-valued structures

    Avron, A. & Zamansky, A., 2005, 35th International Symposium on Multiple-Valued Logic (ISMVL'05). IEEE, p. 296-301 6 p. (Proceedings of The International Symposium on Multiple-Valued Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    17 Scopus citations
  • 2004

    Formalizing set theory as it is actually used

    Avron, A., 2004, Mathematical Knowledge Management. Asperti, A., Bancerek, G. & Trybulec, A. (eds.). 1 ed. Springer Verlag, p. 32-43 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3119).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Non-deterministic matrices

    Avron, A. & Lev, I., 2004, Proceedings. 34th International Symposium on Multiple-Valued Logic. IEEE, p. 282-287 6 p. (Proceedings of The International Symposium on Multiple-Valued Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Safety Signatures for First-order Languages and Their Applications

    Avron, A., 2004, First-order logic revisited. Hendricks, V. F., Neuhaus, F., Pedersen, S. A., Scheffler, U. & Wansing, H. (eds.). Berlin: Logos Tip Yayinciligi, p. 37-58 (Logische Philosophie; vol. 12).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2003

    Tableaux with four signs as a unified framework

    Avron, A., 2003, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Proceedings. Mayer, M. C. & Pirri, F. (eds.). Springer Verlag, p. 4-16 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2796).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations
  • 2001

    Canonical propositional Gentzen-type systems

    Avron, A. & Lev, I., 2001, Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings. Gore, R., Leitsch, A. & Nipkow, T. (eds.). Springer Verlag, p. 529-544 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2083 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    89 Scopus citations
  • 2000

    A tableau system for Gödel-Dummett Logic based on a hypersequent calculus

    Avron, A., 2000, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2000, Proceedings. p. 98-111 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1847 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations
  • 1999

    Nonmonotonic and paraconsistent reasoning: From basic entailments to plausible relations

    Arieli, O. & Avron, A., 1999, Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings. Hunter, A. & Parsons, S. (eds.). Springer Verlag, p. 11-21 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1638).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations
  • 1998

    The logical role of the four-valued bilattice

    Arieli, O. & Avron, A., 1998, Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. Institute of Electrical and Electronics Engineers Inc., p. 118-126 9 p. (Proceedings - Symposium on Logic in Computer Science; vol. 1998-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations
  • 1997

    Four-valued diagnoses for stratified knowledge-bases

    Arieli, O. & Avron, A., 1997, Computer Science Logic - 10th International Workshop, CSL 1996, Annual Conference of the EACSL, Selected Papers. van Dalen, D. & Bezem, M. (eds.). Springer Verlag, p. 1-17 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1258).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations
  • 1996

    Automatic diagnoses for properly stratified knowledge-bases

    Arieli, O. & Avron, A., 1996, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence. IEEE, p. 392-399 8 p. (Proceedings of the International Conference on Tools with Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • The method of hypersequents in the proof theory of propositional non-classical logics

    Avron, A., 1996, Logic: From Foundations to Applications: European Logic Colloquium . Hodges, W. (ed.). Oxford University Press, p. 1-32 32 p. (Oxford Sci. Publ.).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1994

    Logical bilattices and inconsistent data

    Arieli, O. & Avron, A., 1994, Proceedings - Symposium on Logic in Computer Science. Publ by IEEE, p. 468-476 9 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    39 Scopus citations
  • 1991

    On first order database query languages

    Avron, A. & Hirshfeld, J., Jul 1991, Proceedings - Symposium on Logic in Computer Science. Publ by IEEE, p. 226-231 6 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations