2026 Arnon Avron: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	32	13110	12722	202	193	166	4805

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

13110

12722

202

193

166

4805

Overview

Arnon Avron is affiliated with Tel Aviv University in Israel and has contributed extensively to the field of computer science, with a particular focus on logic and theoretical frameworks. Their research spans various interconnected topics and subfields, often intersecting areas of artificial intelligence, computational theory, and the philosophy of science.

The main fields of study covered by their work include:

Computer Science

Within this, their subfields of study comprise:

Artificial Intelligence
Computational Theory and Mathematics
Experimental and Cognitive Psychology
Theoretical Computer Science
History and Philosophy of Science

The research topics addressed throughout their career emphasize:

Logic, Reasoning, and Knowledge
Advanced Algebra and Logic
Logic, programming, and type systems
Philosophy and Theoretical Science
History and Theory of Mathematics
Computability, Logic, AI Algorithms
Philosophy and History of Science

Among their recent publications are the following papers, which highlight their scholarly contributions within several renowned venues:

"The Normal and Self-extensional Extension of Dunn-Belnap Logic" (2020) in Logica Universalis
"WEYL REEXAMINED: "DAS KONTINUUM" 100 YEARS LATER" (2020) in Bulletin of Symbolic Logic
"Proof Systems for 3-valued Logics Based on Gödel's Implication" (2021) in Logic Journal of IGPL
"Breaking the Tie: Benacerraf's Identification Argument Revisited" (2022) in Philosophia Mathematica
"POINCARÉ-WEYL'S PREDICATIVITY: GOING BEYOND Γ₀" (2024) in Bulletin of Symbolic Logic

The frequent publication venues where they have contributed include:

Philosophia Mathematica
Bulletin of Symbolic Logic
Logica Universalis
Logic Journal of IGPL
Logical Investigations

Collaboration is a part of their research activities, with frequent coauthors including:

Balthasar Grabmayr
Nissan Levi
Nachum Dershowitz
Alexander Rabinovich

Best Publications

Reasoning with logical bilattices

Ofer Arieli;Arnon Avron

360
Citations
The value of the four values

Ofer Arieli;Arnon Avron

348
Citations
Natural 3-valued logic—characterization and proof theory

Arnon Avron

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

Arnon Avron

294
Citations
Hypersequents, logical consequence and intermediate logics for concurrency

Arnon Avron

261
Citations
Non-deterministic Multiple-valued Structures

Arnon Avron;Iddo Lev

247
Citations
Simple consequence relations

Arnon Avron

243
Citations
A constructive analysis of RM

Arnon Avron

182
Citations
NON-DETERMINISTIC SEMANTICS FOR LOGICAL SYSTEMS

Arnon Avron;Anna Zamansky

172
Citations
Using typed lambda calculus to implement formal systems on a machine

Arnon Avron;Furio Honsell;Ian A. Mason;Robert Pollack

163
Citations
Canonical Propositional Gentzen-Type Systems

Arnon Avron;Iddo Lev

154
Citations
The Semantics and Proof Theory of Linear Logic

Unknown

116
Citations
Gentzen-type systems, resolution and tableaux

Arnon Avron

113
Citations
On an implication connective of RM

Arnon Avron

92
Citations
On Modal Systems Having Arithmetical Interpretations

Arnon Avron

86
Citations
The structure of interlaced bilattices

Arnon Avron

83
Citations
Non-deterministic Matrices and Modular Semantics of Rules

Arnon Avron

82
Citations
Non-deterministic semantics for logics with a consistency operator

Arnon Avron

79
Citations
Ideal Paraconsistent Logics

O. Arieli;A. Avron;A. Zamansky

69
Citations
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics

Arnon Avron;Jonathan Ben-Naim;Beata Konikowska

69
Citations
Logical bilattices and inconsistent data

O. Arieli;A. Avron

68
Citations
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics

Ofer Arieli;Arnon Avron;Anna Zamansky

68
Citations
What is relevance logic

Arnon Avron

22
Citations

Frequent Co-Authors

Nachum Dershowitz Tel Aviv University

External Links

Personal website of Arnon Avron

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens a variety of online degree and career options. For those seeking a fast route into the workforce, there are certificate programs that pay well. These certifications can boost your skills quickly and often lead to lucrative tech roles without the need for a lengthy commitment.

Students interested in progressing more rapidly might consider the quickest cheapest masters degree options available online. These programs are designed for efficiency and affordability, making it easier to upskill and advance your career while managing costs.

If you’re looking for programs that offer the best job prospects, explore the most in demand masters degrees in computer science and related fields. These degrees focus on specializations that employers are actively seeking, which can translate to higher earning potential and job security.

Finally, for those wanting a faster and cost-effective start, 2 year online degrees provide a strong foundation in computer science. These associate programs can lead directly to entry-level positions or serve as a stepping stone toward a bachelor's degree.