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)
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.
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)
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)
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)
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)
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)
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)