Arnon Avron

Q: What Schools Are Affiliated With Arnon Avron

Arnon Avron is affiliated with the following schools: Hebrew University of Jerusalem, Tel Aviv University

Arnon Avron's AcademicInfluence.com Rankings

Arnon Avron

Mathematics

#4186

World Rank

#6000

Historical Rank

Measure Theory

#2403

World Rank

#2874

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Why Is Arnon Avron Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Arnon Avron 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.

(See a Problem?)

Arnon Avron's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Reasoning with logical bilattices (1996) (302)
The Value of the Four Values (1998) (290)
The method of hypersequents in the proof theory of propositional non-classical logics (1996) (250)
Natural 3-valued logics—characterization and proof theory (1991) (239)
Simple Consequence Relations (1988) (222)
What is relevance logic? (2014) (178)
Hypersequents, logical consequence and intermediate logics for concurrency (1991) (167)
Non-deterministic Multiple-valued Structures (2005) (158)
A constructive analysis of RM (1987) (139)
NON-DETERMINISTIC SEMANTICS FOR LOGICAL SYSTEMS (2011) (126)
Canonical Propositional Gentzen-Type Systems (2001) (112)
The Semantics and Proof Theory of Linear Logic (1988) (85)
On modal systems having arithmetical interpretations (1984) (76)
On an implication connective of RM (1986) (71)
Non-deterministic Matrices and Modular Semantics of Rules (2005) (66)
Ideal Paraconsistent Logics (2011) (64)
The structure of interlaced bilattices (1996) (63)
Logical bilattices and inconsistent data (1994) (58)
Non-deterministic semantics for logics with a consistency operator (2007) (57)
Gentzen-type systems, resolution and tableaux (1993) (57)
Multi-valued Calculi for Logics Based on Non-determinism (2005) (54)
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics (2007) (52)
Using typed lambda calculus to implement formal systems on a machine (1992) (50)
Relevant entailment—semantics and formal systems (1984) (48)
On the Expressive Power of Three-Valued and Four-Valued Languages (1999) (45)
Transitive Closure and the Mechanization of Mathematics (2003) (45)
Decomposition Proof Systems for Gödel-Dummett Logics (2001) (42)
Classical Gentzen-type methods in propositional many-valued logics (2001) (41)
Cut-free sequent calculi for C-systems with generalized finite-valued semantics (2013) (40)
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations (2000) (40)
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics (2011) (40)
Three-Valued Paraconsistent Propositional Logics (2015) (39)
Encoding Modal Logics in Logical Frameworks (1998) (37)
Whither relevance logic? (1992) (36)
A unified semantic framework for fully structural propositional sequent systems (2013) (36)
Relevance and paraconsistency—a new approach (1990) (32)
Non-deterministic Semantics for Families of Paraconsistent Logics (2004) (32)
Four-Valued Paradefinite Logics (2017) (31)
Rough Sets and 3-Valued Logics (2008) (31)
A Non-deterministic View on Non-classical Negations (2005) (29)
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (2008) (28)
Relevance and Paraconsistency - A New Approach, Part II: The Formal Systems (1990) (26)
Cayley's Formula: A Page From The Book (2016) (26)
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (2012) (26)
What Is an Ideal Logic for Reasoning with Inconsistency? (2011) (25)
A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus (2000) (25)
Proof Systems for Reasoning about Computation Errors (2009) (21)
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency (2006) (21)
Constructibility and decidability versus domain independence and absoluteness (2008) (21)
The middle ground-ancestral logic (2019) (19)
Logical Non-determinism as a Tool for Logical Modularity: An Introduction (2005) (19)
Multiplicative Conjunction as an Extensional Conjunction (1997) (19)
Proof Systems for Logics Based on Non-deterministic Multiple-valued Structures (2004) (18)
Quantification in non-deterministic multi-valued structures (2005) (18)
A Formula-Preferential Base for Paraconsistent and Plausible Reasoning Systems (2001) (18)
The logical role of the four-valued bilattice (1998) (18)
An overview of the Edinburgh logical framework (1989) (17)
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (2014) (16)
Processing Information from a Set of Sources (2009) (15)
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency (2016) (15)
Axiomatic Systems, Deduction and Implication (1992) (15)
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases (1999) (14)
On first order database query languages (1991) (14)
Negation: Two Points of View (1999) (14)
Efficient reasoning with inconsistent information using C-systems (2015) (13)
Combining classical logic, paraconsistency and relevance (2005) (13)
Cut-Elimination and Quantification in Canonical Systems (2006) (13)
Formula-Preferential Systems for Paraconsistent Non-Monotonic Reasoning (an extended abstract) (2001) (13)
A Nondeterministic View on Nonclassical Negations (2004) (13)
Finite-valued Logics for Information Processing (2012) (13)
On Negation, Completeness and Consistency (2002) (12)
Self-extensional three-valued paraconsistent logics have no implication (2016) (12)
Kripke Semantics for Basic Sequent Systems (2011) (12)
Multi-valued Semantics: Why and How (2009) (12)
Non-deterministic Semantics for Paraconsistent C-Systems (2005) (11)
On strict strong constructibility with a compass alone (1990) (11)
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms (2008) (11)
Non-deterministic matrices (2004) (11)
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers (2006) (11)
Ancestral Logic: A Proof Theoretical Study (2014) (11)
Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction (1989) (10)
RM and its Nice Properties (2019) (10)
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism (2009) (10)
Canonical Calculi with (n, k)-ary Quantifiers (2008) (10)
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic (2011) (10)
Formalizing Set Theory as it Is Actually Used (2004) (10)
Theorems on strong constructibility with a compass alone (1987) (10)
Self-Extensional Three-Valued Paraconsistent Logics (2017) (9)
Maximally Paraconsistent Three-Valued Logics (2010) (9)
On Strong Maximality of Paraconsistent Finite-Valued Logics (2010) (9)
On Constructive Connectives and Systems (2010) (9)
\mathbf {RM} and its Nice Properties (2016) (9)
A New Approach to Predicative Set Theory (2009) (9)
A note on the structure of bilattices (1995) (9)
A Bilattice-based Approach to Recover Consistent Data from Inconsistent Knowledge-Bases (1995) (8)
Four-Valued Diagnoses for Stratified Knowledge-Bases (1996) (8)
Two Types of Multiple-Conclusion Systems (1998) (8)
Non-Deterministic Semantics for First-Order Paraconsistent Logics (2006) (8)
Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems (1990) (8)
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations (1999) (8)
Non-deterministic Multi-valued Logics--A Tutorial (2010) (7)
What is a logical system (1994) (7)
Some Properties of Linear Logic Proved by Semantic Methods (1994) (7)
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (2009) (7)
A paraconsistent view on B and S5 (2016) (7)
Canonical Constructive Systems (2009) (7)
Implicational F-structures and implicational relevance logics (2000) (7)
Strict Canonical Constructive Systems (2010) (7)
Tonk-A Full Mathematical Solution (2008) (7)
Formalizing Scientifically Applicable Mathematics in a Definitional Framework (2016) (7)
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency (2007) (6)
On purely relevant logics (1986) (6)
Safety Signatures for First-order Languages and Their Applications (2004) (6)
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (2018) (5)
Multiplicative conjunction and an algebraic meaning of contraction and weakening (1998) (5)
Automatic diagnoses for properly stratified knowledge-bases (1996) (5)
Paraconsistent fuzzy logic preserving non-falsity (2016) (5)
A semantic proof of strong cut-admissibility for first-order Gödel logic (2013) (5)
A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5 (2018) (5)
Safety, Absoluteness, and Computability (2018) (4)
Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers (2007) (4)
Effective Non-deterministic Semantics for First-order LFIs (2007) (4)
Rexpansions of Non-deterministic Matrices and Their Applications in Non-classical Logics (2018) (4)
The Classical Constraint on Relevance (2014) (4)
Quasi-canonical systems and their semantics (2018) (4)
Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions (2017) (4)
A cut-free calculus for second-order Gödel logic (2015) (3)
Modular Semantics for Some Basic Logics of Formal Inconsistency (2009) (3)
A note of provability, truth and existence (1991) (3)
Formulas for which Contraction is Admissible (1998) (3)
Paraconsistency and the need for infinite semantics (2018) (3)
Canonical signed calculi with multi-ary quantifiers (2012) (3)
Tableaux with Four Signs as a Unified Framework (2003) (3)
The Normal and Self-extensional Extension of Dunn–Belnap Logic (2020) (3)
Non-deterministic Connectives in Propositional Godel Logic (2011) (2)
A Multiple-Conclusion Calculus for First-Order Gödel Logic (2011) (2)
On the Proof Theory of Natural Many-valued Logics (2004) (2)
Construction problems—why and how? (1989) (2)
Semi-implication: A Chapter in Universal Logic (2015) (2)
Proof Systems for 3-valued Logics Based on Gödel's Implication (2021) (2)
An exercise in an interactive geometrical research (1993) (2)
WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (2020) (1)
Tableaux with four signsas a unified framework (2003) (1)
Cut-elimination in RM Proved Semantically (2017) (1)
Why Predicative Sets? (2020) (1)
Paraconsistency, self-extensionality, modality (2018) (1)
Reasoning about Covering-based Rough Sets Using Three Truth Values (2019) (1)
HYPERSEQUENTS, LOGICAL CONSEQUENCE AND INTERMEDIATE (1991) (1)
Boris A. Trakhtenbrot: Academic Genealogy and Publications (2008) (1)
Reasoning about Rough Sets Using Three Logical Values (2012) (1)
Logics of Reasonable Information Sources (2010) (1)
Queries evaluation, relative safety, and domain independence in first-order database languages with functions (1994) (1)
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics (2008) (1)
A Minimal Computational Theory of a Minimal Computational Universe (2018) (1)
Systematic Construction of Analytic Calculi for Logics of Formal Inconsistency (2012) (1)
Paraconsistency and the need for infinite semantics (2018) (0)
Proceedings of the Workshop on Inconsistency in Data and Knowledge (2001) (0)
Peter Smith. An introduction to Gödel's theorems. Cambridge Introductions to Philosophy, Cambridge University Press, 2007, xiv + 362 pp. (2009) (0)
Trends in Logic (2001) (0)
The Normal and Self-extensional Extension of Dunn–Belnap Logic (2020) (0)
Four-Valued Paradefinite Logics (2017) (0)
LFIs with Marco ’ s Schema (2008) (0)
Proof Systems for Gödel Logics with an Involution (2021) (0)
Quasi-canonical systems and their semantics (2018) (0)
First-Order Quasi-canonical Proof Systems (2019) (0)
Self-Extensional Three-Valued Paraconsistent Logics (2017) (0)
Non-deterministic Semantics for Intuitionistic Paraconsistent Logics (2004) (0)
The Classical Constraint on Relevance (2013) (0)
ov 2 01 0 ON CONSTRUCTIVE CONNECTIVES AND SYSTEMS (0)
Mitchell John C.. Foundations for programming languages. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1996, xix + 846 pp. (1999) (0)
From Constructibility and Absoluteness to Computability and Domain Independence (2006) (0)
Automatic Diagnoses for Properly Stratified Knowledge (1996) (0)
Safety of Formulas in Query Languages, in Arithmetics, and in Set Theory (2007) (0)
Combining Paraconsistency and Relevance (2002) (0)
Stability, Sequentiality and Demand Driven Evaluation in Dataflow (1994) (0)
Safety and Domain Independence in Relational and Web Query Languages, and in Set Theory (2007) (0)
Breaking the Tie: Benacerraf’s Identification Argument Revisited (2022) (0)
Jagadeesan, Radha, 306 Japaridze, Giorgi, xi (2009) (0)
There are no self-extensional three-valued im-plicative paraconsistent logics (2016) (0)
Basing Sequent Systems on Exclusive-Or (2021) (0)
A Logical Framework for Set Theories (2012) (0)
ARNON AVRON AND ANNA ZAMANSKY (2008) (0)
Transitive Closure and the Mechanization of MathematicsArnon AvronSchool of Computer Science (2004) (0)
Transitive Closure, Induction, and Logical Frameworks (0)
Kripke-Style Semantics for Normal Systems (2010) (0)
WHAT REASONABLE FIRST-ORDER QUERIESARE PERMITTED BY TRAKHTENBROT ' S THEOREM ? (2004) (0)
A Logical Framework for Developing and Mechanizing Set Theories (2016) (0)
Review: John C. Mitchell, Foundations for Programming Languages (1999) (0)
Editorial: Proof Theory Corner (2009) (0)
The middle ground-ancestral logic (2015) (0)
Preface (2022) (0)
Partial Safety of Formulas as a Unifying Foundational Principle (2004) (0)
Analysis in a Formal Predicative Set Theory (2021) (0)
Applicable Mathematics in a Minimal Computational Theory of Sets (2018) (0)
Comments on the Papers (2021) (0)

This paper list is powered by the following services:

Other Resources About Arnon Avron

What Schools Are Affiliated With Arnon Avron?

Arnon Avron is affiliated with the following schools: