Arnon Avron

3.9k total citations
109 papers, 1.7k citations indexed

About

Arnon Avron is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Arnon Avron has authored 109 papers receiving a total of 1.7k indexed citations (citations by other indexed papers that have themselves been cited), including 90 papers in Artificial Intelligence, 89 papers in Computational Theory and Mathematics and 4 papers in Computer Networks and Communications. Recurrent topics in Arnon Avron's work include Logic, Reasoning, and Knowledge (84 papers), Advanced Algebra and Logic (75 papers) and Logic, programming, and type systems (57 papers). Arnon Avron is often cited by papers focused on Logic, Reasoning, and Knowledge (84 papers), Advanced Algebra and Logic (75 papers) and Logic, programming, and type systems (57 papers). Arnon Avron collaborates with scholars based in Israel, Poland and United States. Arnon Avron's co-authors include Ofer Arieli, Beata Konikowska, Anna Zamansky, Furio Honsell, Robert Pollack, Ian A. Mason, Ori Lahav, Jonathan Ben-Naim, Nachum Dershowitz and Alexander Rabinovich and has published in prestigious journals such as SHILAP Revista de lepidopterología, International Journal of Molecular Sciences and Information Sciences.

In The Last Decade

Arnon Avron

101 papers receiving 1.6k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Arnon Avron Israel	22	1.5k	1.4k	78	51	41	109	1.7k
Krister Segerberg Sweden	22	1.2k 0.8×	802 0.6×	169 2.2×	48 0.9×	29 0.7×	70	1.5k
Jouko Väänánen Finland	16	710 0.5×	656 0.5×	91 1.2×	52 1.0×	29 0.7×	108	1.0k
Walter Carnielli Brazil	17	758 0.5×	621 0.4×	101 1.3×	19 0.4×	12 0.3×	76	948
Aarne Ranta Sweden	13	930 0.6×	299 0.2×	70 0.9×	36 0.7×	7 0.2×	75	1.0k
A. S. Troelstra Netherlands	14	1.5k 1.0×	1.4k 1.0×	132 1.7×	52 1.0×	21 0.5×	46	1.9k
Lawrence S. Moss United States	16	881 0.6×	492 0.4×	23 0.3×	51 1.0×	35 0.9×	84	1.0k
Steven Givant United States	11	414 0.3×	437 0.3×	38 0.5×	85 1.7×	30 0.7×	39	696
Sara Negri Finland	16	893 0.6×	700 0.5×	102 1.3×	21 0.4×	4 0.1×	54	975
Peter Aczel United Kingdom	9	410 0.3×	322 0.2×	49 0.6×	44 0.9×	12 0.3×	26	599
Heinz-Dieter Ebbinghaus Germany	8	474 0.3×	573 0.4×	39 0.5×	157 3.1×	17 0.4×	18	849

Countries citing papers authored by Arnon Avron

Since Specialization

Citations

This map shows the geographic impact of Arnon Avron's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Arnon Avron with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Arnon Avron more than expected).

Fields of papers citing papers by Arnon Avron

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Arnon Avron. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Arnon Avron. The network helps show where Arnon Avron may publish in the future.

Co-authorship network of co-authors of Arnon Avron

This figure shows the co-authorship network connecting the top 25 collaborators of Arnon Avron. A scholar is included among the top collaborators of Arnon Avron based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Arnon Avron. Arnon Avron is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Avron, Arnon. (2025). What Numbers Really Cannot Be and What They Plausibly Are. Philosophia Mathematica. 33(3). 377–401. 1 indexed citations

Avron, Arnon, et al.. (2022). Breaking the Tie: Benacerraf’s Identification Argument Revisited. Philosophia Mathematica. 31(1). 81–103. 3 indexed citations

Avron, Arnon & Ori Lahav. (2018). A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5.. 29–42. 2 indexed citations

Avron, Arnon & Anna Zamansky. (2016). A paraconsistent view on B and S5.. 21–37. 1 indexed citations

Avron, Arnon. (2013). What is relevance logic?. Annals of Pure and Applied Logic. 165(1). 26–48. 15 indexed citations

Zamansky, Anna & Arnon Avron. (2011). Canonical signed calculi with multi-ary quantifiers. Annals of Pure and Applied Logic. 163(7). 951–960.

Arieli, Ofer, Arnon Avron, & Anna Zamansky. (2010). Maximally paraconsistent three-valued logics. Principles of Knowledge Representation and Reasoning. 310–318. 6 indexed citations

Avron, Arnon & Ori Lahav. (2010). On Constructive Connectives and Systems. Logical Methods in Computer Science. Volume 6, Issue 4. 6 indexed citations

Avron, Arnon, Nachum Dershowitz, & Alexander Rabinovich. (2008). Pillars of computer science: essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 21 indexed citations

10.

Avron, Arnon. (2008). 5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi. Studies in Logic Grammar and Rhetoric. 14(27). 127–136. 2 indexed citations

11.

Avron, Arnon. (2007). Constructibility and decidability versus domain independence and absoluteness. Theoretical Computer Science. 394(3). 144–158. 9 indexed citations

12.

Zamansky, Anna & Arnon Avron. (2006). Non-deterministic semantics for first-order paraconsistent logics. Principles of Knowledge Representation and Reasoning. 431–439. 5 indexed citations

13.

Avron, Arnon, Jonathan Ben-Naim, & Beata Konikowska. (2006). Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. Logica Universalis. 1(1). 41–70. 28 indexed citations

14.

Avron, Arnon. (2005). Logical Non-determinism as a Tool for Logical Modularity: An Introduction.. International Journal of Molecular Sciences. 25(22). 105–124. 5 indexed citations

15.

Avron, Arnon & Beata Konikowska. (2004). Proof Systems for Logics Based on Non-deterministic Multiple-valued Structures. 1–26. 7 indexed citations

16.

Avron, Arnon. (2004). Combining classical logic, paraconsistency and relevance. Journal of Applied Logic. 3(1). 133–160. 10 indexed citations

17.

Arieli, Ofer & Arnon Avron. (1998). The value of the four values. Artificial Intelligence. 102(1). 97–141. 129 indexed citations

18.

Avron, Arnon. (1995). A note on the structure of bilattices. Mathematical Structures in Computer Science. 5(3). 431–438. 7 indexed citations

19.

Avron, Arnon. (1993). Gentzen-type systems, resolution and tableaux. Journal of Automated Reasoning. 10(2). 265–281. 33 indexed citations

20.

Avron, Arnon. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science. 57(2-3). 161–184. 105 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact