Arnon Avron

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 34

Top Venues

Publications

Arnon Avron
Poincaré-Weyl's Predicativity: going beyond. Bull. Symb. Log. 30 (1) (2024)
Arnon Avron
Proof Systems for 3-valued Logics Based on Gödel's Implication. Log. J. IGPL 30 (3) (2022)
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
Preface. Fundam. Informaticae 186 (1-4) (2022)
Arnon Avron
Quasi-canonical systems and their semantics. Synth. 198 (22-S) (2021)
Arnon Avron
Basing Sequent Systems on Exclusive-Or. TABLEAUX (2021)
Arnon Avron
Proof Systems for Gödel Logics with an Involution. ISMVL (2021)
Nissan Levi, Arnon Avron
Analysis in a Formal Predicative Set Theory. WoLLIC (2021)
Arnon Avron
Weyl Reexamined: "das Kontinuum" 100 Years Later. Bull. Symb. Log. 26 (1) (2020)
Arnon Avron
The Normal and Self-extensional Extension of Dunn-Belnap Logic. Logica Universalis 14 (3) (2020)
Arnon Avron
Why Predicative Sets? Fields of Logic and Computation III (2020)
Arnon Avron, Anna Zamansky
Paraconsistency, self-extensionality, modality. Log. J. IGPL 28 (5) (2020)
Beata Konikowska, Arnon Avron
Reasoning about Covering-based Rough Sets Using Three Truth Values. FLAP 6 (2) (2019)
Yotam Dvir, Arnon Avron
First-Order Quasi-canonical Proof Systems. TABLEAUX (2019)
Arnon Avron
Paraconsistency and the need for infinite semantics. Soft Comput. 23 (7) (2019)
Liron Cohen, Arnon Avron
The middle ground-ancestral logic. Synth. 196 (7) (2019)
Arnon Avron, Yoni Zohar
Rexpansions of Nondeterministic matrices and their Applications in nonclassical Logics. Rev. Symb. Log. 12 (1) (2019)
Arnon Avron, Liron Cohen
A Minimal Computational Theory of a Minimal Computational Universe. LFCS (2018)
Arnon Avron, Ori Lahav
A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5. Advances in Modal Logic (2018)
Arnon Avron, Shahar Lev, Nissan Levi
Safety, Absoluteness, and Computability. CSL (2018)
Arnon Avron, Liron Cohen
Applicable Mathematics in a Minimal Computational Theory of Sets. Log. Methods Comput. Sci. 14 (4) (2018)
Arnon Avron, Liron Cohen
Applicable Mathematics in a Minimal Computational Theory of Sets. CoRR (2018)
Arnon Avron
Self-Extensional Three-Valued Paraconsistent Logics. Logica Universalis 11 (3) (2017)
Ofer Arieli, Arnon Avron
Four-Valued Paradefinite Logics. Stud Logica 105 (6) (2017)
Arnon Avron, Jean-Yves Béziau
Self-extensional three-valued paraconsistent logics have no implication. Log. J. IGPL 25 (2) (2017)
Arnon Avron, Yoni Zohar
Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions. ISMVL (2017)
Arnon Avron
Cut-elimination in RM Proved Semantically. FLAP 4 (3) (2017)
Arnon Avron
A Logical Framework for Developing and Mechanizing Set Theories. IJCAR (2016)
Arnon Avron
Paraconsistent fuzzy logic preserving non-falsity. Fuzzy Sets Syst. 292 (2016)
Arnon Avron, Nachum Dershowitz
Cayley's Formula: A Page From The Book. Am. Math. Mon. 123 (7) (2016)
Arnon Avron, Liron Cohen
Formalizing Scientifically Applicable Mathematics in a Definitional Framework. J. Formaliz. Reason. 9 (1) (2016)
Arnon Avron, Anna Zamansky
A paraconsistent view on B and S5. Advances in Modal Logic (2016)
Ofer Arieli, Arnon Avron
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency. FSCD (2016)
Ori Lahav, Arnon Avron
A cut-free calculus for second-order Gödel logic. Fuzzy Sets Syst. 276 (2015)
Arnon Avron, Beata Konikowska, Anna Zamansky
Efficient reasoning with inconsistent information using C-systems. Inf. Sci. 296 (2015)
Liron Cohen, Arnon Avron
Ancestral Logic: A Proof Theoretical Study. WoLLIC (2014)
Arnon Avron
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. J. Appl. Non Class. Logics 24 (1-2) (2014)
Arnon Avron
What is relevance logic? Ann. Pure Appl. Log. 165 (1) (2014)
Arnon Avron
The Classical Constraint on Relevance. Logica Universalis 8 (1) (2014)
Ori Lahav, Arnon Avron
A unified semantic framework for fully structural propositional sequent systems. ACM Trans. Comput. Log. 14 (4) (2013)
Arnon Avron, Beata Konikowska, Anna Zamansky
Cut-free sequent calculi for C-systems with generalized finite-valued semantics. J. Log. Comput. 23 (3) (2013)
Ori Lahav, Arnon Avron
A semantic proof of strong cut-admissibility for first-order Gödel logic. J. Log. Comput. 23 (1) (2013)
Anna Zamansky, Arnon Avron
Canonical signed calculi with multi-ary quantifiers. Ann. Pure Appl. Log. 163 (7) (2012)
Arnon Avron, Beata Konikowska
Finite-valued Logics for Information Processing. Fundam. Informaticae 114 (1) (2012)
Arnon Avron, Beata Konikowska, Anna Zamansky
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. LICS (2012)
Arnon Avron, Ori Lahav
A Multiple-Conclusion Calculus for First-Order Gödel Logic. CSR (2011)
Ofer Arieli, Arnon Avron, Anna Zamansky
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. Stud Logica 97 (1) (2011)
Arnon Avron
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic. J. Log. Comput. 21 (5) (2011)
Arnon Avron
A Logical Framework for Set Theories LSFA (2011)
Ofer Arieli, Arnon Avron, Anna Zamansky
What Is an Ideal Logic for Reasoning with Inconsistency?. IJCAI (2011)
Ofer Arieli, Arnon Avron, Anna Zamansky
Ideal Paraconsistent Logics. Stud Logica 99 (1-3) (2011)
Arnon Avron, Ori Lahav
Kripke Semantics for Basic Sequent Systems. TABLEAUX (2011)
Ori Lahav, Arnon Avron
Non-deterministic Connectives in Propositional Godel Logic. EUSFLAT Conf. (2011)
Arnon Avron, Ofer Arieli, Anna Zamansky
On Strong Maximality of Paraconsistent Finite-Valued Logics. LICS (2010)
Arnon Avron, Ori Lahav
Strict Canonical Constructive Systems. Fields of Logic and Computation (2010)
Ofer Arieli, Arnon Avron, Anna Zamansky
Maximally Paraconsistent Three-Valued Logics. KR (2010)
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
Logics of Reasonable Information Sources. ISMVL (2010)
Arnon Avron, Ori Lahav
On Constructive Connectives and Systems Log. Methods Comput. Sci. 6 (4) (2010)
Arnon Avron, Anna Zamansky
Non-deterministic Multi-valued Logics--A Tutorial. ISMVL (2010)
Arnon Avron, Agata Ciabattoni, Anna Zamansky
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR (2009)
Arnon Avron
Multi-valued Semantics: Why and How. Stud Logica 92 (2) (2009)
Arnon Avron, Beata Konikowska
Proof Systems for Reasoning about Computation Errors. Stud Logica 91 (2) (2009)
Arnon Avron
Editorial: Proof Theory Corner. J. Log. Comput. 19 (6) (2009)
Arnon Avron, Ori Lahav
Canonical Constructive Systems. TABLEAUX (2009)
Arnon Avron, Anna Zamansky
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. LFCS (2009)
Arnon Avron, Beata Konikowska
Rough Sets and 3-Valued Logics. Stud Logica 90 (1) (2008)
Arnon Avron, Anna Zamansky
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. CSR (2008)
Arnon Avron
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. Pillars of Computer Science (2008)
Arnon Avron
Constructibility and decidability versus domain independence and absoluteness. Theor. Comput. Sci. 394 (3) (2008)
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
Boris A. Trakhtenbrot: Academic Genealogy and Publications. Pillars of Computer Science (2008)
Arnon Avron, Anna Zamansky
Canonical calculi with (n,k)-ary quantifiers CoRR (2008)
Arnon Avron, Anna Zamansky
Canonical Calculi with (n, k)-ary Quantifiers. Log. Methods Comput. Sci. 4 (3) (2008)
Anna Zamansky, Arnon Avron
Effective Non-deterministic Semantics for First-order LFIs. J. Multiple Valued Log. Soft Comput. 13 (4-6) (2007)
Arnon Avron
Non-deterministic semantics for logics with a consistency operator. Int. J. Approx. Reason. 45 (2) (2007)
Arnon Avron, Anna Zamansky
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. ISMVL (2007)
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. Logica Universalis 1 (1) (2007)
Arnon Avron, Anna Zamansky
Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. LFCS (2007)
Arnon Avron
From Constructibility and Absoluteness to Computability and Domain Independence. CiE (2006)
Anna Zamansky, Arnon Avron
Cut-Elimination and Quantification in Canonical Systems. Stud Logica 82 (1) (2006)
Anna Zamansky, Arnon Avron
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. IJCAR (2006)
Anna Zamansky, Arnon Avron
Non-Deterministic Semantics for First-Order Paraconsistent Logics. KR (2006)
Arnon Avron, Anna Zamansky
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Arnon Avron, Beata Konikowska
Multi-valued Calculi for Logics Based on Non-determinism. Log. J. IGPL 13 (4) (2005)
Arnon Avron, Iddo Lev
Non-deterministic Multiple-valued Structures. J. Log. Comput. 15 (3) (2005)
Arnon Avron, Anna Zamansky
Quantification in Non-Deterministic Multi-Valued Structures. ISMVL (2005)
Arnon Avron
Logical Non-determinism as a Tool for Logical Modularity: An Introduction. We Will Show Them! (1) (2005)
Arnon Avron
A Non-deterministic View on Non-classical Negations. Stud Logica 80 (2-3) (2005)
Arnon Avron
Combining classical logic, paraconsistency and relevance. J. Appl. Log. 3 (1) (2005)
Arnon Avron
Non-deterministic Semantics for Paraconsistent C-Systems. ECSQARU (2005)
Arnon Avron
Formalizing Set Theory as it Is Actually Used. MKM (2004)
Arnon Avron, Iddo Lev
Non-Deterministic Matrices. ISMVL (2004)
Arnon Avron
Tableaux with Four Signs as a Unified Framework. TABLEAUX (2003)
Arnon Avron
Classical Gentzen-Type Methods in Propositional Many-Valued Logics. ISMVL (2001)
Arnon Avron, Beata Konikowska
Decomposition Proof Systems for Gödel-Dummett Logics. Stud Logica 69 (2) (2001)
Arnon Avron, Iddo Lev
Canonical Propositional Gentzen-Type Systems. IJCAR (2001)
Arnon Avron
A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus. TABLEAUX (2000)
Arnon Avron
Implicational F-Structures and Implicational Relevance Logics. J. Symb. Log. 65 (2) (2000)
Ofer Arieli, Arnon Avron
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. Log. J. IGPL 8 (2) (2000)
Arnon Avron
On the Expressive Power of Three-Valued and Four-Valued Languages. J. Log. Comput. 9 (6) (1999)
Ofer Arieli, Arnon Avron
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases. J. Autom. Reason. 22 (2) (1999)
Ofer Arieli, Arnon Avron
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. ESCQARU (1999)

Arnon Avron.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arnon Avron