Arnon Avron

138 papers A* 8A 3B 12C 4Misc 6Journal 85Unranked 18
YearRankTypeTitle / Venue / Authors
2024 J jnl
Poincaré-Weyl's Predicativity: going beyond.
Bull. Symb. Log.
Arnon Avron
2022 J jnl
Preface.
Fundam. Informaticae
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
2022 J jnl
Proof Systems for 3-valued Logics Based on Gödel's Implication.
Log. J. IGPL
Arnon Avron
2021 C conf
Analysis in a Formal Predicative Set Theory.
WoLLIC
Nissan Levi, Arnon Avron
2021 B conf
Basing Sequent Systems on Exclusive-Or.
TABLEAUX
Arnon Avron
2021 — conf
Proof Systems for Gödel Logics with an Involution.
ISMVL
Arnon Avron
2021 J jnl
Quasi-canonical systems and their semantics.
Synth.
Arnon Avron
2020 J jnl
Paraconsistency, self-extensionality, modality.
Log. J. IGPL
Arnon Avron, Anna Zamansky
2020 J jnl
The Normal and Self-extensional Extension of Dunn-Belnap Logic.
Logica Universalis
Arnon Avron
2020 J jnl
Weyl Reexamined: "das Kontinuum" 100 Years Later.
Bull. Symb. Log.
Arnon Avron
2020 — conf
Why Predicative Sets?
Fields of Logic and Computation III
Arnon Avron
2019 B conf
First-Order Quasi-canonical Proof Systems.
TABLEAUX
Yotam Dvir, Arnon Avron
2019 J jnl
Paraconsistency and the need for infinite semantics.
Soft Comput.
Arnon Avron
2019 J jnl
Reasoning about Covering-based Rough Sets Using Three Truth Values.
FLAP
Beata Konikowska, Arnon Avron
2019 J jnl
Rexpansions of Nondeterministic matrices and their Applications in nonclassical Logics.
Rev. Symb. Log.
Arnon Avron, Yoni Zohar
2019 J jnl
The middle ground-ancestral logic.
Synth.
Liron Cohen, Arnon Avron
2018 Misc conf
A Minimal Computational Theory of a Minimal Computational Universe.
LFCS
Arnon Avron, Liron Cohen
2018 B conf
A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5.
Advances in Modal Logic
Arnon Avron, Ori Lahav
2018 J jnl
Applicable Mathematics in a Minimal Computational Theory of Sets.
CoRR
Arnon Avron, Liron Cohen
2018 J jnl
Applicable Mathematics in a Minimal Computational Theory of Sets.
Log. Methods Comput. Sci.
Arnon Avron, Liron Cohen
2018 B conf
Safety, Absoluteness, and Computability.
CSL
Arnon Avron, Shahar Lev, Nissan Levi
2017 J jnl
Cut-elimination in RM Proved Semantically.
FLAP
Arnon Avron
2017 J jnl
Four-Valued Paradefinite Logics.
Stud Logica
Ofer Arieli, Arnon Avron
2017 — conf
Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions.
ISMVL
Arnon Avron, Yoni Zohar
2017 J jnl
Self-Extensional Three-Valued Paraconsistent Logics.
Logica Universalis
Arnon Avron
2017 J jnl
Self-extensional three-valued paraconsistent logics have no implication.
Log. J. IGPL
Arnon Avron, Jean-Yves Béziau
2016 A conf
A Logical Framework for Developing and Mechanizing Set Theories.
IJCAR
Arnon Avron
2016 B conf
A paraconsistent view on B and S5.
Advances in Modal Logic
Arnon Avron, Anna Zamansky
2016 J jnl
Cayley's Formula: A Page From The Book.
Am. Math. Mon.
Arnon Avron, Nachum Dershowitz
2016 J jnl
Formalizing Scientifically Applicable Mathematics in a Definitional Framework.
J. Formaliz. Reason.
Arnon Avron, Liron Cohen
2016 B conf
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency.
FSCD
Ofer Arieli, Arnon Avron
2016 J jnl
Paraconsistent fuzzy logic preserving non-falsity.
Fuzzy Sets Syst.
Arnon Avron
2015 J jnl
A cut-free calculus for second-order Gödel logic.
Fuzzy Sets Syst.
Ori Lahav, Arnon Avron
2015 J jnl
Efficient reasoning with inconsistent information using C-systems.
Inf. Sci.
Arnon Avron, Beata Konikowska, Anna Zamansky
2014 C conf
Ancestral Logic: A Proof Theoretical Study.
WoLLIC
Liron Cohen, Arnon Avron
2014 J jnl
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics.
J. Appl. Non Class. Logics
Arnon Avron
2014 J jnl
The Classical Constraint on Relevance.
Logica Universalis
Arnon Avron
2014 J jnl
What is relevance logic?
Ann. Pure Appl. Log.
Arnon Avron
2013 J jnl
A semantic proof of strong cut-admissibility for first-order Gödel logic.
J. Log. Comput.
Ori Lahav, Arnon Avron
2013 J jnl
A unified semantic framework for fully structural propositional sequent systems.
ACM Trans. Comput. Log.
Ori Lahav, Arnon Avron
2013 J jnl
Cut-free sequent calculi for C-systems with generalized finite-valued semantics.
J. Log. Comput.
Arnon Avron, Beata Konikowska, Anna Zamansky
2012 J jnl
Canonical signed calculi with multi-ary quantifiers.
Ann. Pure Appl. Log.
Anna Zamansky, Arnon Avron
2012 J jnl
Finite-valued Logics for Information Processing.
Fundam. Informaticae
Arnon Avron, Beata Konikowska
2012 A* conf
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics.
LICS
Arnon Avron, Beata Konikowska, Anna Zamansky
2011 — conf
A Logical Framework for Set Theories
LSFA
Arnon Avron
2011 Misc conf
A Multiple-Conclusion Calculus for First-Order Gödel Logic.
CSR
Arnon Avron, Ori Lahav
2011 J jnl
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic.
J. Log. Comput.
Arnon Avron
2011 J jnl
Ideal Paraconsistent Logics.
Stud Logica
Ofer Arieli, Arnon Avron, Anna Zamansky
2011 B conf
Kripke Semantics for Basic Sequent Systems.
TABLEAUX
Arnon Avron, Ori Lahav
2011 J jnl
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.
Stud Logica
Ofer Arieli, Arnon Avron, Anna Zamansky
2011 — conf
Non-deterministic Connectives in Propositional Godel Logic.
EUSFLAT Conf.
Ori Lahav, Arnon Avron
2011 A* conf
What Is an Ideal Logic for Reasoning with Inconsistency?.
IJCAI
Ofer Arieli, Arnon Avron, Anna Zamansky
2010 — conf
Logics of Reasonable Information Sources.
ISMVL
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
2010 A* conf
Maximally Paraconsistent Three-Valued Logics.
KR
Ofer Arieli, Arnon Avron, Anna Zamansky
2010 — conf
Non-deterministic Multi-valued Logics--A Tutorial.
ISMVL
Arnon Avron, Anna Zamansky
2010 J jnl
On Constructive Connectives and Systems
Log. Methods Comput. Sci.
Arnon Avron, Ori Lahav
2010 A* conf
On Strong Maximality of Paraconsistent Finite-Valued Logics.
LICS
Arnon Avron, Ofer Arieli, Anna Zamansky
2010 — conf
Strict Canonical Constructive Systems.
Fields of Logic and Computation
Arnon Avron, Ori Lahav
2009 Misc conf
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.
CSR
Arnon Avron, Agata Ciabattoni, Anna Zamansky
2009 B conf
Canonical Constructive Systems.
TABLEAUX
Arnon Avron, Ori Lahav
2009 Misc conf
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.
LFCS
Arnon Avron, Anna Zamansky
2009 J jnl
Editorial: Proof Theory Corner.
J. Log. Comput.
Arnon Avron
2009 J jnl
Multi-valued Semantics: Why and How.
Stud Logica
Arnon Avron
2009 — ch.
Processing Information from a Set of Sources.
Towards Mathematical Philosophy
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
2009 J jnl
Proof Systems for Reasoning about Computation Errors.
Stud Logica
Arnon Avron, Beata Konikowska
2008 — conf
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.
Pillars of Computer Science
Arnon Avron
2008 Misc conf
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.
CSR
Arnon Avron, Anna Zamansky
2008 — conf
Boris A. Trakhtenbrot: Academic Genealogy and Publications.
Pillars of Computer Science
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
2008 J jnl
Canonical Calculi with (n, k)-ary Quantifiers.
Log. Methods Comput. Sci.
Arnon Avron, Anna Zamansky
2008 J jnl
Canonical calculi with (n,k)-ary quantifiers
CoRR
Arnon Avron, Anna Zamansky
2008 J jnl
Constructibility and decidability versus domain independence and absoluteness.
Theor. Comput. Sci.
Arnon Avron
2008 — ed.
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Pillars of Computer Science
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
2008 J jnl
Rough Sets and 3-Valued Logics.
Stud Logica
Arnon Avron, Beata Konikowska
2007 J jnl
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics.
Logica Universalis
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
2007 J jnl
Effective Non-deterministic Semantics for First-order LFIs.
J. Multiple Valued Log. Soft Comput.
Anna Zamansky, Arnon Avron
2007 Misc conf
Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers.
LFCS
Arnon Avron, Anna Zamansky
2007 — conf
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.
ISMVL
Arnon Avron, Anna Zamansky
2007 J jnl
Non-deterministic semantics for logics with a consistency operator.
Int. J. Approx. Reason.
Arnon Avron
2006 A conf
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.
IJCAR
Anna Zamansky, Arnon Avron
2006 J jnl
Cut-Elimination and Quantification in Canonical Systems.
Stud Logica
Anna Zamansky, Arnon Avron
2006 C conf
From Constructibility and Absoluteness to Computability and Domain Independence.
CiE
Arnon Avron
2006 — conf
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency.
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Arnon Avron, Anna Zamansky
2006 A* conf
Non-Deterministic Semantics for First-Order Paraconsistent Logics.
KR
Anna Zamansky, Arnon Avron
2005 J jnl
A Non-deterministic View on Non-classical Negations.
Stud Logica
Arnon Avron
2005 J jnl
Combining classical logic, paraconsistency and relevance.
J. Appl. Log.
Arnon Avron
2005 — conf
Logical Non-determinism as a Tool for Logical Modularity: An Introduction.
We Will Show Them! (1)
Arnon Avron
2005 J jnl
Multi-valued Calculi for Logics Based on Non-determinism.
Log. J. IGPL
Arnon Avron, Beata Konikowska
2005 J jnl
Non-deterministic Multiple-valued Structures.
J. Log. Comput.
Arnon Avron, Iddo Lev
2005 C conf
Non-deterministic Semantics for Paraconsistent C-Systems.
ECSQARU
Arnon Avron
2005 — conf
Quantification in Non-Deterministic Multi-Valued Structures.
ISMVL
Arnon Avron, Anna Zamansky
2004 — conf
Formalizing Set Theory as it Is Actually Used.
MKM
Arnon Avron
2004 — conf
Non-Deterministic Matrices.
ISMVL
Arnon Avron, Iddo Lev
2003 B conf
Tableaux with Four Signs as a Unified Framework.
TABLEAUX
Arnon Avron
2001 A conf
Canonical Propositional Gentzen-Type Systems.
IJCAR
Arnon Avron, Iddo Lev
2001 — conf
Classical Gentzen-Type Methods in Propositional Many-Valued Logics.
ISMVL
Arnon Avron
2001 J jnl
Decomposition Proof Systems for Gödel-Dummett Logics.
Stud Logica
Arnon Avron, Beata Konikowska
2000 B conf
A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus.
TABLEAUX
Arnon Avron
2000 J jnl
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
Log. J. IGPL
Ofer Arieli, Arnon Avron
2000 J jnl
Implicational F-Structures and Implicational Relevance Logics.
J. Symb. Log.
Arnon Avron
1999 J jnl
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases.
J. Autom. Reason.
Ofer Arieli, Arnon Avron
1999 — conf
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.
ESCQARU
Ofer Arieli, Arnon Avron
1999 J jnl
On the Expressive Power of Three-Valued and Four-Valued Languages.
J. Log. Comput.
Arnon Avron
1998 J jnl
Encoding Modal Logics in Logical Frameworks.
Stud Logica
Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano
1998 J jnl
Formulas for which Contraction is Admissible.
Log. J. IGPL
Arnon Avron
1998 J jnl
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.
J. Symb. Log.
Arnon Avron
1998 A* conf
The Logical Role of the Four-Valued Bilattice.
LICS
Ofer Arieli, Arnon Avron
1998 J jnl
The Value of the Four Values.
Artif. Intell.
Ofer Arieli, Arnon Avron
1998 J jnl
Two Types of Multiple-Conclusion Systems.
Log. J. IGPL
Arnon Avron
1997 J jnl
Multiplicative Conjunction as an Extensional Conjunction.
Log. J. IGPL
Arnon Avron
1996 B conf
Automatic Diagnoses for Properly Stratified Knowledge-Bases.
ICTAI
Ofer Arieli, Arnon Avron
1996 B conf
Four-Valued Diagnoses for Stratified Knowledge-Bases.
CSL
Ofer Arieli, Arnon Avron
1996 J jnl
Reasoning with Logical Bilattices.
J. Log. Lang. Inf.
Ofer Arieli, Arnon Avron
1996 J jnl
The Structure of Interlaced Bilattices.
Math. Struct. Comput. Sci.
Arnon Avron
1995 J jnl
A Note on the Structure of Bilattices.
Math. Struct. Comput. Sci.
Arnon Avron
1994 A* conf
Logical Bilattices and Inconsistent Data
LICS
Ofer Arieli, Arnon Avron
1994 J jnl
Queries evaluation, relative safety, and domain independence in first-order database languages with functions.
Methods Log. Comput. Sci.
Arnon Avron, Yoram Hirshfeld
1994 J jnl
Some Properties of Linear Logic Proved by Semantic Methods.
J. Log. Comput.
Arnon Avron
1994 J jnl
Stability, Sequentiality and Demand Driven Evaluation in Dataflow.
Formal Aspects Comput.
Arnon Avron, Nada Sasson
1993 J jnl
An Exercise in an Interactive Geometrical Research.
Ann. Math. Artif. Intell.
Arnon Avron
1993 J jnl
Gentzen-Type Systems, Resolution and Tableaux.
J. Autom. Reason.
Arnon Avron
1992 J jnl
Axiomatic Systems, Deduction and Implication.
J. Log. Comput.
Arnon Avron
1992 J jnl
Using Typed Lambda Calculus to Implement Formal Systems on a Machine.
J. Autom. Reason.
Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
1992 J jnl
Whither relevance logic?
J. Philos. Log.
Arnon Avron
1991 J jnl
A note of provability, truth and existence.
J. Philos. Log.
Arnon Avron
1991 J jnl
Hypersequents, logical consequence and intermediate logics for concurrency.
Ann. Math. Artif. Intell.
Arnon Avron
1991 J jnl
Natural 3-Valued Logics - Characterization and Proof Theory.
J. Symb. Log.
Arnon Avron
1991 A* conf
On First Order Database Query Languages
LICS
Arnon Avron, Yoram Hirshfeld
1991 J jnl
Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems.
Notre Dame J. Formal Log.
Arnon Avron
1991 J jnl
Simple Consequence Relations
Inf. Comput.
Arnon Avron
1990 J jnl
Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction.
Notre Dame J. Formal Log.
Arnon Avron
1990 J jnl
Relevance and Paraconsistency - A New Approach, Part II: The Formal Systems.
Notre Dame J. Formal Log.
Arnon Avron
1990 J jnl
Relevance and Paraconsistency - A New Approach.
J. Symb. Log.
Arnon Avron
1988 J jnl
The Semantics and Proof Theory of Linear Logic.
Theor. Comput. Sci.
Arnon Avron
1987 J jnl
A Constructive Analysis of RM.
J. Symb. Log.
Arnon Avron
1986 J jnl
On an implication connective of RM.
Notre Dame J. Formal Log.
Arnon Avron
1986 J jnl
On purely relevant logics.
Notre Dame J. Formal Log.
Arnon Avron
1984 J jnl
On Modal Systems Having Arithmetical Interpretations.
J. Symb. Log.
Arnon Avron
1984 J jnl
Relevant Entailment-Semantics and Formal Systems.
J. Symb. Log.
Arnon Avron