 | 2012 |
|---|
| 89 |       | Anna Zamansky,
Arnon Avron:
Canonical signed calculi with multi-ary quantifiers.
Ann. Pure Appl. Logic 163(7): 951-960 (2012) |
| 88 | | Arnon Avron,
Beata Konikowska:
Finite-valued Logics for Information Processing.
Fundam. Inform. 114(1): 1-30 (2012) |
| 2011 |
|---|
| 87 | | Arnon Avron,
Ori Lahav:
A Multiple-Conclusion Calculus for First-Order Gödel Logic.
CSR 2011: 456-469 |
| 86 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
What Is an Ideal Logic for Reasoning with Inconsistency?.
IJCAI 2011: 706-711 |
| 85 | | Arnon Avron:
A Logical Framework for Set Theories
LSFA 2011: 3-15 |
| 84 | | Arnon Avron,
Ori Lahav:
Kripke Semantics for Basic Sequent Systems.
TABLEAUX 2011: 43-57 |
| 83 | | Arnon Avron:
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic.
J. Log. Comput. 21(5): 813-821 (2011) |
| 82 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.
Studia Logica 97(1): 31-60 (2011) |
| 81 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
Ideal Paraconsistent Logics.
Studia Logica 99(1-3): 31-60 (2011) |
| 2010 |
|---|
| 80 | | Arnon Avron,
Ori Lahav:
Strict Canonical Constructive Systems.
Fields of Logic and Computation 2010: 75-94 |
| 79 | | Arnon Avron,
Anna Zamansky:
Non-deterministic Multi-valued Logics--A Tutorial.
ISMVL 2010: 53-60 |
| 78 | | Arnon Avron,
Jonathan Ben-Naim,
Beata Konikowska:
Logics of Reasonable Information Sources.
ISMVL 2010: 61-66 |
| 77 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
Maximally Paraconsistent Three-Valued Logics.
KR 2010 |
| 76 | | Arnon Avron,
Ofer Arieli,
Anna Zamansky:
On Strong Maximality of Paraconsistent Finite-Valued Logics.
LICS 2010: 304-313 |
| 75 | | Arnon Avron,
Ori Lahav:
On Constructive Connectives and Systems
Logical Methods in Computer Science 6(4): (2010) |
| 2009 |
|---|
| 74 | | Arnon Avron,
Agata Ciabattoni,
Anna Zamansky:
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.
CSR 2009: 26-37 |
| 73 | | Arnon Avron,
Anna Zamansky:
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.
LFCS 2009: 31-45 |
| 72 | | Arnon Avron,
Ori Lahav:
Canonical Constructive Systems.
TABLEAUX 2009: 62-76 |
| 71 | | Arnon Avron:
Editorial: Proof Theory Corner.
J. Log. Comput. 19(6): 969 (2009) |
| 70 | | Arnon Avron,
Beata Konikowska:
Proof Systems for Reasoning about Computation Errors.
Studia Logica 91(2): 273-293 (2009) |
| 69 | | Arnon Avron:
Multi-valued Semantics: Why and How.
Studia Logica 92(2): 163-182 (2009) |
| 2008 |
|---|
| 68 |  | Arnon Avron,
Nachum Dershowitz,
Alexander Rabinovich:
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Springer 2008 |
| 67 | | Arnon Avron,
Anna Zamansky:
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.
CSR 2008: 52-63 |
| 66 | | Arnon Avron,
Nachum Dershowitz,
Alexander Rabinovich:
Boris A. Trakhtenbrot: Academic Genealogy and Publications.
Pillars of Computer Science 2008: 46-57 |
| 65 | | Arnon Avron:
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.
Pillars of Computer Science 2008: 87-106 |
| 64 | | Arnon Avron,
Anna Zamansky:
Canonical calculi with (n,k)-ary quantifiers
CoRR abs/0806.0081: (2008) |
| 63 | | Arnon Avron,
Anna Zamansky:
Canonical Calculi with (n, k)-ary Quantifiers.
Logical Methods in Computer Science 4(3): (2008) |
| 62 | | Arnon Avron,
Beata Konikowska:
Rough Sets and 3-Valued Logics.
Studia Logica 90(1): 69-92 (2008) |
| 61 | | Arnon Avron:
Constructibility and decidability versus domain independence and absoluteness.
Theor. Comput. Sci. 394(3): 144-158 (2008) |
| 2007 |
|---|
| 60 | | Arnon Avron,
Anna Zamansky:
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.
ISMVL 2007: 14 |
| 59 | | Arnon Avron,
Anna Zamansky:
Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers.
LFCS 2007: 26-40 |
| 58 | | Arnon Avron:
Non-deterministic semantics for logics with a consistency operator.
Int. J. Approx. Reasoning 45(2): 271-287 (2007) |
| 57 | | Anna Zamansky,
Arnon Avron:
Effective Non-deterministic Semantics for First-order LFIs.
Multiple-Valued Logic and Soft Computing 13(4-6): 335-352 (2007) |
| 2006 |
|---|
| 56 | | 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: 1-24 |
| 55 | | Arnon Avron:
From Constructibility and Absoluteness to Computability and Domain Independence.
CiE 2006: 11-20 |
| 54 | | Anna Zamansky,
Arnon Avron:
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.
IJCAR 2006: 251-265 |
| 53 | | Anna Zamansky,
Arnon Avron:
Non-Deterministic Semantics for First-Order Paraconsistent Logics.
KR 2006: 431-439 |
| 52 | | Anna Zamansky,
Arnon Avron:
Cut-Elimination and Quantification in Canonical Systems.
Studia Logica 82(1): 157-176 (2006) |
| 2005 |
|---|
| 51 | | Arnon Avron:
Non-deterministic Semantics for Paraconsistent C-Systems.
ECSQARU 2005: 625-637 |
| 50 | | Arnon Avron,
Anna Zamansky:
Quantification in Non-Deterministic Multi-Valued Structures.
ISMVL 2005: 296-301 |
| 49 | | Arnon Avron:
Logical Non-determinism as a Tool for Logical Modularity: An Introduction.
We Will Show Them! (1) 2005: 105-124 |
| 48 | | Arnon Avron:
Combining classical logic, paraconsistency and relevance.
J. Applied Logic 3(1): 133-160 (2005) |
| 47 | | Arnon Avron,
Iddo Lev:
Non-deterministic Multiple-valued Structures.
J. Log. Comput. 15(3): 241-261 (2005) |
| 46 | | Arnon Avron,
Beata Konikowska:
Multi-valued Calculi for Logics Based on Non-determinism.
Logic Journal of the IGPL 13(4): 365-387 (2005) |
| 45 | | Arnon Avron:
A Non-deterministic View on Non-classical Negations.
Studia Logica 80(2-3): 159-194 (2005) |
| 2004 |
|---|
| 44 | | Arnon Avron,
Iddo Lev:
Non-Deterministic Matrices.
ISMVL 2004: 282-287 |
| 43 | | Arnon Avron:
Formalizing Set Theory as it Is Actually Used.
MKM 2004: 32-43 |
| 2003 |
|---|
| 42 | | Arnon Avron:
Tableaux with Four Signs as a Unified Framework.
TABLEAUX 2003: 4-16 |
| 2001 |
|---|
| 41 | | Arnon Avron,
Iddo Lev:
Canonical Propositional Gentzen-Type Systems.
IJCAR 2001: 529-544 |
| 40 | | Arnon Avron:
Classical Gentzen-Type Methods in Propositional Many-Valued Logics.
ISMVL 2001: 287- |
| 39 | | Arnon Avron,
Beata Konikowska:
Decomposition Proof Systems for Gödel-Dummett Logics.
Studia Logica 69(2): 197-219 (2001) |
| 2000 |
|---|
| 38 | | Arnon Avron:
A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus.
TABLEAUX 2000: 98-111 |
| 37 | | Arnon Avron:
Implicational F-Structures and Implicational Relevance Logics.
J. Symb. Log. 65(2): 788-802 (2000) |
| 36 | | Ofer Arieli,
Arnon Avron:
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
Logic Journal of the IGPL 8(2): 119-148 (2000) |
| 1999 |
|---|
| 35 | | Ofer Arieli,
Arnon Avron:
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.
ESCQARU 1999: 11-21 |
| 34 | | Ofer Arieli,
Arnon Avron:
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases.
J. Autom. Reasoning 22(2): 263-309 (1999) |
| 33 | | Arnon Avron:
On the Expressive Power of Three-Valued and Four-Valued Languages.
J. Log. Comput. 9(6): 977-994 (1999) |
| 1998 |
|---|
| 32 | | Ofer Arieli,
Arnon Avron:
The Logical Role of the Four-Valued Bilattice.
LICS 1998: 118-126 |
| 31 | | Ofer Arieli,
Arnon Avron:
The Value of the Four Values.
Artif. Intell. 102(1): 97-141 (1998) |
| 30 | | Arnon Avron:
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.
J. Symb. Log. 63(3): 831-859 (1998) |
| 29 | | Arnon Avron:
Formulas for which Contraction is Admissible.
Logic Journal of the IGPL 6(1): 43-48 (1998) |
| 28 | | Arnon Avron:
Two Types of Multiple-Conclusion Systems.
Logic Journal of the IGPL 6(5): 695-717 (1998) |
| 27 | | Arnon Avron,
Furio Honsell,
Marino Miculan,
Cristian Paravano:
Encoding Modal Logics in Logical Frameworks.
Studia Logica 60(1): 161-208 (1998) |
| 1997 |
|---|
| 26 | | Arnon Avron:
Multiplicative Conjunction as an Extensional Conjunction.
Logic Journal of the IGPL 5(2): 181-208 (1997) |
| 1996 |
|---|
| 25 | | Ofer Arieli,
Arnon Avron:
Four-Valued Diagnoses for Stratified Knowledge-Bases.
CSL 1996: 1-17 |
| 24 | | Ofer Arieli,
Arnon Avron:
Automatic Diagnoses for Properly Stratified Knowledge-Bases.
ICTAI 1996: 392-399 |
| 23 | | Ofer Arieli,
Arnon Avron:
Reasoning with Logical Bilattices.
Journal of Logic, Language and Information 5(1): 25-63 (1996) |
| 22 | | Arnon Avron:
The Structure of Interlaced Bilattices.
Mathematical Structures in Computer Science 6(3): 287-299 (1996) |
| 1995 |
|---|
| 21 | | Arnon Avron:
A Note on the Structure of Bilattices.
Mathematical Structures in Computer Science 5(3): 431-438 (1995) |
| 1994 |
|---|
| 20 | | Ofer Arieli,
Arnon Avron:
Logical Bilattices and Inconsistent Data
LICS 1994: 468-476 |
| 19 | | Arnon Avron,
Nada Sasson:
Stability, Sequentiality and Demand Driven Evaluation in Dataflow.
Formal Asp. Comput. 6(6): 620-642 (1994) |
| 18 | | Arnon Avron:
Some Properties of Linear Logic Proved by Semantic Methods.
J. Log. Comput. 4(6): 929-938 (1994) |
| 17 | | Arnon Avron,
Yoram Hirshfeld:
Queries evaluation, relative safety, and domain independence in first-order database languages with functions.
Meth. of Logic in CS 1(3): 261-277 (1994) |
| 1993 |
|---|
| 16 | | Arnon Avron:
An Exercise in an Interactive Geometrical Research.
Ann. Math. Artif. Intell. 9(3-4): 239-252 (1993) |
| 15 | | Arnon Avron:
Gentzen-Type Systems, Resolution and Tableaux.
J. Autom. Reasoning 10(2): 265-281 (1993) |
| 1992 |
|---|
| 14 | | Arnon Avron,
Furio Honsell,
Ian A. Mason,
Robert Pollack:
Using Typed Lambda Calculus to Implement Formal Systems on a Machine.
J. Autom. Reasoning 9(3): 309-354 (1992) |
| 13 | | Arnon Avron:
Axiomatic Systems, Deduction and Implication.
J. Log. Comput. 2(1): 51-98 (1992) |
| 1991 |
|---|
| 12 | | Arnon Avron,
Yoram Hirshfeld:
On First Order Database Query Languages
LICS 1991: 226-231 |
| 11 | | Arnon Avron:
Hypersequents, logical consequence and intermediate logics for concurrency.
Ann. Math. Artif. Intell. 4: 225-248 (1991) |
| 10 | | Arnon Avron:
Simple Consequence Relations
Inf. Comput. 92(1): 105-140 (1991) |
| 9 | | Arnon Avron:
Natural 3-Valued Logics - Characterization and Proof Theory.
J. Symb. Log. 56(1): 276-294 (1991) |
| 8 | | Arnon Avron:
Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems.
Notre Dame Journal of Formal Logic 32(1): 147-160 (1991) |
| 1990 |
|---|
| 7 | | Arnon Avron:
Relevance and Paraconsistency - A New Approach.
J. Symb. Log. 55(2): 707-732 (1990) |
| 6 | | Arnon Avron:
Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction.
Notre Dame Journal of Formal Logic 31(1): 127-135 (1990) |
| 5 | | Arnon Avron:
Relevance and Paraconsistency - A New Approach, Part II: The Formal Systems.
Notre Dame Journal of Formal Logic 31(2): 169-202 (1990) |
| 1988 |
|---|
| 4 | | Arnon Avron:
The Semantics and Proof Theory of Linear Logic.
Theor. Comput. Sci. 57: 161-184 (1988) |
| 1987 |
|---|
| 3 | | Arnon Avron:
A Constructive Analysis of RM.
J. Symb. Log. 52(4): 939-951 (1987) |
| 1984 |
|---|
| 2 | | Arnon Avron:
Relevant Entailment--Semantics and Formal Systems.
J. Symb. Log. 49(2): 334-342 (1984) |
| 1 | | Arnon Avron:
On Modal Systems Having Arithmetical Interpretations.
J. Symb. Log. 49(3): 935-942 (1984) |
Data released under the ODC-BY 1.0 license — See also our legal information page