Arnon Avron - Online Available Papers

Foundations and Mechanization of Mathematics

A. Avron, L. Cohen
Formalizing Scientifically Applicable Mathematics in a Definitional Framework
JOURNAL OF FORMALIZED REASONING, 9 (2016), 53--70.

A. Avron, L. Cohen
The Middle Ground - Ancestral Logic
Synthese, 2015, DOI 10.1007/s11229-015-0784-3.

A. Avron
A New Approach to Predicative Set Theory
In "Ways of Proof Theory", (R. Schindler, ed.), 31--63, onto series in mathematical logic, onto verlag, 2010.

A. Avron
Constructibility and Decidability versus Domain Independence and Absoluteness
Theoretical Computer Science, 394 (2008), 144--158.

A. Avron
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms Set Theories In "Pillars of Computer Science", (A. Avron, N. Dershowitz, and A. Rabinovich, eds.), 87--106, LNCS 4800, Springer, 2008. (An earlier version in Proceedings of Mathematical Knowledge Management (MKM 2004), (A. Asperti, G. Banecerek, and A. Trybulec, eds.), 32-43, LNCS 3119, Springer, 2004).

A. Avron
Safety Signatures for First-order Languages and Their Applications
In "First-Order Logic Revisited" (Hendricks et all,, eds.), 37-58, Logos Verlag Berlin, 2004.

A. Avron
Transitive Closure and the Mechanization of Mathematics
In "Thirty Five Years of Automating Mathematics" (F. Kamareddine, ed.), 149-171, Kluwer Academic Publishers, 2003.

A. Avron
On Strict Strong Constructibility with a Compass Alone
Journal of Geometry 38, 12-15 (1990)

Non-deteministic Semantics for Non-Classical Logics

A. Avron, B. Konikowska, A. Zamansky
Cut-free Sequent Calculi for C-systems With Generalized Finite-valued Semantics
To appear in JLC

A. Avron, O. Lahav
Kripke Semantics for Basic Sequent Systems
To appear in Proceedings of TABLEAUX 2011

A. Avron, A. Zamansky
Non-deterministic Semantics for Logical Systems (A Survey)
To appear in Handbook of Philosophical Logic

A. Avron, B. Konikowska
Finite-valued Logics for Information Processing
To appear in Fundamenta Informaticae

A. Avron, O. Lahav
On Constructive Connectives and Systems
To appear in Logic Methods in Computer Science

A. Avron, O. Arieli, and A. Zamansky
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
To appear in Studia Logica.

A. Avron, O. Lahav
Strict Canonical Constructive Systems
In "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday" (Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, editors), 75--94 Lecture Notes in Computer Science, volume 6300, Springer-Verlag, 2010.

A. Avron
Tonk-A Full Mathematical Solution
In "Hues of Philosophy: Essays in Memory of Ruth Manor", (A. Biletzki, ed.), 17--42, College Publications, 2010.

A. Avron
Modular Semantics for Some Basic Logics of Formal Inconsistency
In "The Many Sides of Logic", (W. A. Carnielli, M. E. Coniglio, I. M. L. D' Ottaviano, eds), Studies in Logic 21, 15--26, College Publications, 2009.

A. Avron
Multi-valued Semantics: Why and How
Studia Logica 92 (2009), 163-182

A. Avron, B. Konikowska
Proof Systems for Reasoning about Computation Errors
Studia Logica 91 (2009), 273--293

A. Avron, J. Ben-Naim, and B. Konikowska
Processing Information from a Set of Sources
In "Towards Mathematical Philosophy", (D. Makinson, J. Malinowski, and H. Wansing, eds.), Trends in Logic 28, 165--186, Springer, 2009.

A. Avron
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi
studies in Logic, Grammar and Rhetoric 14 (2008), 127-136.

A. Avron, A. Zamansky
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
Proceedings of The Third International Computer Science Symposium in Russia, LNCS 5010, 52--64, Springer, 2008.

A. Avron, B. Konikowska
Rough Sets and 3-valued Logics
Studia Logica 90, 69-92 (2008).

A. Avron, A. Zamansky
Canonical Gentzen-type calculi with (n,k)-ary quantifiers
Logical Methods in Computer Science 4 (2008), 1--23.

A. Avron
Non-deterministic Semantics for Families of Paraconsistent Logics
In: Handbook of Paraconsistency (J.-Y. Beziau, W. Carnielli, and D. M. Gabbay, eds.), 285-320, Studies in Logic 9, College Publications, 2007.

A. Avron, A. Zamansky
Many-valued non-deterministic semantics for first-order Logics of Formal (In)consistency
In "Algebraic and Proof-theoretic Aspects of Non-classical Logics", (S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, and V. Marra, eds.), 1--24, LNAI 4460, Springer, 2007.

A. Avron
Non-deterministic Semantics for Logics with a Consistency Operator
Journal of Approximate Reasoning 45, 271-287, 2007

A. Zamansky, A. Avron
Cut-Elimination and Quantification
Studia Logica 82 (a special issue of Studia Logica on Cut-elimination in classical and nonclassical logic), 157-176, 2006.

A. Avron, J. Ben-Naim, and B. Konikowska
Cut-free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics
Logica Universalis 1, 41-69, 2006.

A. Avron
Logical Non-determinism as a Tool for Logical Modularity: An Introduction
In "We Will Show Them: Essays in Honour of Dov Gabbay", Vol 1 (S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods, eds.), 105-124, College Publications, 2005.

A. Avron, I. Lev
Non-Deterministic Multiple-valued Structures
Journal of Logic and Computation 15, 241-261 (2005)

A. Avron
A Nondeterministic View on Nonclassical Negations
Studia Logica 80, 159-194 (2005)

A. Avron, B. Konikowska
Proof Systems for Logics Based on Non-deterministic Multiple-valued Structures
Logic Journal of the IGPL 13, 365-387, (2005)

A. Avron
Non-deterministic Matrices and Modular Semantics of Rules
In "Logica Universalis" (J.-Y. Beziau, ed.), 149-167, Birkh\"user Verlag, 2005.

Proof Theory and Automated Reasoning

A. Avron, B. Konikowska, A. Zamansky
Cut-free Sequent Calculi for C-systems With Generalized Finite-valued Semantics
To appear in JLC

A. Avron, O. Lahav
Kripke Semantics for Basic Sequent Systems
To appear in Proceedings of TABLEAUX 2011

A. Avron, O. Lahav
On Constructive Connectives and Systems
To appear in Logic Methods in Computer Science

A. Avron, O. Lahav
Strict Canonical Constructive Systems
In "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday" (Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, editors), 75--94 Lecture Notes in Computer Science, volume 6300, Springer-Verlag, 2010.

A. Avron
A Simple Proof of Completeness and Cut-elimination for Propositional Godel Logic
Journal of Logic and Computation 2009, doi: 10.1093/logcom/exp05

A. Avron, A. Zamansky
Canonical Gentzen-type calculi with (n,k)-ary quantifiers
In Logical Methods in Computer Science 4 (2008), 1--23.

A. Avron, A. Zamansky
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
Proceedings of The Third International Computer Science Symposium in Russia, LNCS 5010, 52--64, Springer, 2008.

A. Avron, J. Ben-Naim, and B. Konikowska
Cut-free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics
Logica Universalis 1, 41-69, 2006.

A. Zamansky, A. Avron
Cut-Elimination and Quantification
Studia Logica 82 (a special issue of Studia Logica on Cut-elimination in classical and nonclassical logic), 157-176, 2006.

A. Avron, B. Konikowska
Proof Systems for Logics Based on Non-deterministic Multiple-valued Structures
Logic Journal of the IGPL 13, 365-387, (2005)

A. Avron
Classical Gentzen-type Methods in Propositional Many-Valued Logics
In "Beyond Two: Theory and Applications of Multiple-Valued Logic" (M. Fitting and E. Orlowska, eds.), Studies in Fuzziness and Soft Computing, Vol. ~114, 117-155, Physica Verlag, 2003.

A. Avron
Tableaux with Four Signs as a Unified Framework
In "Proceedings of TABLEAUX 2003" (M.C. Mayer and F. Pirri, eds.), 4-16, LNAI 2796, Springer, 2003.

A. Avron, B. Konikowska
Decomposition Proof Systems for G\"odel Logics
Studia Logica 69, 197-219 (2001)

A. Avron, I. Lev
Canonical Propositional Gentzen-Type Systems
In the Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), LNAI 2083, 529-544, Springer Verlag, 2001.

A. Avron
On the Proof Theory of Natural Many-valued Logics
Collegium Logicum (Annals of the Kurt Godel Society) 3, 51-59 (1999)

A. Avron, F. Honsell, M.Miculan, C.Paravanco
Encoding Modal Logics in Logical Frameworks
Studia Logica 60, 161-208 (1998)

A. Avron
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics
In "Logic: Foundations to Applications" (edited by W. Hodges, M. Hyland, C. Steinhorn and J Truss), Oxford Science Publications, 1-32, 1996

A. Avron
Gentzen-Type Systems, Resolution and Tableaux
Journal of Automated Reasoning 10, 265-281 (1993)

A. Avron
Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction
Notre Dame Journal of Formal Logic 31, 127-135 (1990)

Foundations of Logic

A. Avron
Tonk-A Full Mathematical Solution
In "Hues of Philosophy: Essays in Memory of Ruth Manor", (A. Biletzki, ed.), 17--42, College Publications, 2010.

A. Avron
Multi-valued Semantics: Why and How
Studia Logica 92 (2009), 163-182

A. Avron
On Negation, Completeness and Consistency
In "Handbook of Philosophical Logic" (D. Gabbay and F. Guenthner, eds.) Vol. 9, 287-319, Kluwer Academic Publishers, 2002.

O. Arieli, A. Avron
General Patterns for Nonmonotonic Reasoning : From Basic Entailments to Plausible Relations
Logic Journal of the IGPL 8, 119-148 (2000)

A. Avron
Negation: Two Points of View
In "What is Negation?" (edited by D. Gabbay and H. Wansing) Applied Logic Series, Vol. ~13, 3-22, Kluwer Academic Publishers (1999).

A. Avron
Two Types of Multiple-Conculsion Systems
Logic Journal of the IGPL 6 695-717 (1998)

A. Avron
Simple Consequence relations
Information and Computation 92, 105-139 (1991)

Paraconsistency

A. Avron, B. Konikowska, A. Zamansky
Cut-free Sequent Calculi for C-systems With Generalized Finite-valued Semantics
To appear in JLC

A. Avron and B. Konikowska
Finite-valued Logics for Information Processing

A. Avron, O. Arieli, and A. Zamansky
Ideal Paraconsistent Logics

A. Avron, O. Arieli, and A. Zamansky
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
To appear in Studia Logica.

A. Avron
Modular Semantics for Some Basic Logics of Formal Inconsistency
In "The Many Sides of Logic", (W. A. Carnielli, M. E. Coniglio, I. M. L. D' Ottaviano, eds), Studies in Logic 21, 15--26, College Publications, 2009.

A. Avron, J. Ben-Naim, and B. Konikowska
Processing Information from a Set of Sources
In "Towards Mathematical Philosophy", (D. Makinson, J. Malinowski, and H. Wansing, eds.), Trends in Logic 28, 165--186, Springer, 2009.

A. Avron
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi
studies in Logic, Grammar and Rhetoric 14 (2008), 127-136.

A. Avron
Non-deterministic Semantics for Families of Paraconsistent Logics
In: Handbook of Paraconsistency (J.-Y. Beziau, W. Carnielli, and D. M. Gabbay, eds.), 285-320, Studies in Logic 9, College Publications, 2007.

A. Avron, A. Zamansky
Many-valued non-deterministic semantics for first-order Logics of Formal (In)consistency
In "Algebraic and Proof-theoretic Aspects of Non-classical Logics", (S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, and V. Marra, eds.), 1--24, LNAI 4460, Springer, 2007.

A. Avron
Non-deterministic Semantics for Logics with a Consistency Operator
Journal of Approximate Reasoning 45, 271-287, 2007

A. Avron
A Nondeterministic View on Nonclassical Negations
Studia Logica 80, 159-194 (2005)

A. Avron
Combining Classical Logic, Paraconsistency and Relevance
Journal of Applied Logic 3, 133-160 (2005)

O. Arieli, A. Avron
Bilattices and Paraconsistency
In ``Frontiers in Paraconsistent Logic'' (edited by D. Batens, C. Mortensen, G. Priest, and J. Van-Bengedem), 11-28, Research Studies Press, 2000.

O. Arieli, A. Avron
A Model-Theoratic Approach to Recover Consistent Data from Inconsistent Knowlage-Bases
Journal of Automated Reasoning 22, 263-309 (1999)

Relevance and Substructural Logics

A. Avron
Combining Classical Logic, Paraconsistency and Relevance
Journal of Applied Logic 3, 133-160 (2005)

A. Avron
Implicational F-Structures and Implicational Relevance Logic
Journal of Symbolic Logic 65, 788-802 (2000)

A. Avron
Formulas for Which Contraction is Admissble
Logic Journal of the IGPL 6, 43-48 (1998)

A. Avron
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening
Journal of Symbolic Logic 63, 831-859 (1998)
 

A. Avron
Multiplicative Conjunction as an Extensional Conjunction
Logic Journal of the IGPL 5, 181-208 (1997)

A. Avron
Some Properties of Linear Logic Proved by Semantic Methods
Journal of Logic and Computation 4, 929-938 (1994)

A. Avron
The Semantics and Proof Theory of Linear Logic
Theoretical Computer Science 57, 161-184 (1988)

Many-valued Logics and Bilattices

A. Avron
Classical Gentzen-type Methods in Propositional Many-Valued Logics
In "Beyond Two: Theory and Applications of Multiple-Valued Logic" (M. Fitting and E. Orlowska, eds.), Studies in Fuzziness and Soft Computing, Vol. ~114, 117-155, Physica Verlag, 2003.

A. Avron, B. Konikowska
Decomposition Proof Systems for G\"odel Logics
Studia Logica 69, 197-219 (2001)

O. Arieli, A. Avron
Bilattices and Paraconsistency
In ``Frontiers in Paraconsistent Logic'' (edited by D. Batens, C. Mortensen, G. Priest, and J. Van-Bengedem), 11-28, Research Studies Press, 2000.

A. Avron
On the Expressive Power of Three-Valued and Four-Valued Languages
Journal of Logic and Computation, 9, 977-994 (1999)

A. Avron
On the Proof Theory of Natural Many-valued Logics
Collegium Logicum (Annals of the Kurt Godel Society) 3, 51-59 (1999)

O. Arieli, A. Avron
The Value of Four Values
Artifical Intelligence 102, 97-141 (1998)

O. Arieli, A. Avron
Four-Valued Diagnoses for Stratified Knowledge-Bases
Proc. Ann. Conf. on Computer Science Logic (CSL'96), Springer LNCS 1258, 1-17 (1997)

O. Arieli and A. Avron
Reasoning with logical bilattices
Journal of Logic, Language, and Information, Vol.5, No.1, pages 25-63 (1996).

O. Arieli and A. Avron
Automatic Diagnoses for Properly Stratified Knowledge-bases
Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence (ICTAI96), IEEE Press, 392-399 (1996).

A. Avron
The Structure of Interlaced Bilattices
Journal of Mathematical Structures in Computer Science 6, 287-299 (1996)

A. Avron
A Note on the Structure of Bilattices
Journal of Mathematical Structures in Computer Science 5, 431-438 (1995).

A. Avron
Natural 3-valued Logics--- Characterization and Proof Theory
Journal of Symbolic Logic 56, 276-294 (1991)

Others

A. Avron, I. Lev
A Formula-Preferential Base for Paraconsistent and Plausible Non-Monotonic Reasoning
Proceedings of the Workshop on Inconsistency in Data and Knowledge (KRR-4) Int. Joint Conf. on AI (Ijcai 2001), 60-70, 2001

A. Avron, J. Hirschfeld
What Reasonable First-Order Queries are premitted by Trankhtenbrot's Theorem

A. Avron, N. Sasson
Stability, Sequentiality, and Demand Driven Evaluation in Dataflow
Formal Aspects of Computing 6, 620-642 (1994)