2009 |
66 | EE | Arnon Avron,
Anna Zamansky:
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.
LFCS 2009: 31-45 |
2008 |
65 | | 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 |
64 | EE | Arnon Avron,
Anna Zamansky:
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.
CSR 2008: 52-63 |
63 | EE | Arnon Avron,
Nachum Dershowitz,
Alexander Rabinovich:
Boris A. Trakhtenbrot: Academic Genealogy and Publications.
Pillars of Computer Science 2008: 46-57 |
62 | EE | Arnon Avron:
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.
Pillars of Computer Science 2008: 87-106 |
61 | EE | Arnon Avron,
Anna Zamansky:
Canonical calculi with (n,k)-ary quantifiers
CoRR abs/0806.0081: (2008) |
60 | EE | Arnon Avron,
Beata Konikowska:
Rough Sets and 3-Valued Logics.
Studia Logica 90(1): 69-92 (2008) |
59 | EE | Arnon Avron:
Constructibility and decidability versus domain independence and absoluteness.
Theor. Comput. Sci. 394(3): 144-158 (2008) |
2007 |
58 | EE | Arnon Avron,
Anna Zamansky:
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.
ISMVL 2007: 14 |
57 | EE | Arnon Avron,
Anna Zamansky:
Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers.
LFCS 2007: 26-40 |
56 | EE | Arnon Avron:
Non-deterministic semantics for logics with a consistency operator.
Int. J. Approx. Reasoning 45(2): 271-287 (2007) |
2006 |
55 | EE | 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 |
54 | EE | Arnon Avron:
From Constructibility and Absoluteness to Computability and Domain Independence.
CiE 2006: 11-20 |
53 | EE | Anna Zamansky,
Arnon Avron:
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.
IJCAR 2006: 251-265 |
52 | | Anna Zamansky,
Arnon Avron:
Non-Deterministic Semantics for First-Order Paraconsistent Logics.
KR 2006: 431-439 |
51 | EE | Anna Zamansky,
Arnon Avron:
Cut-Elimination and Quantification in Canonical Systems.
Studia Logica 82(1): 157-176 (2006) |
2005 |
50 | EE | Arnon Avron:
Non-deterministic Semantics for Paraconsistent C-Systems.
ECSQARU 2005: 625-637 |
49 | EE | Arnon Avron,
Anna Zamansky:
Quantification in Non-Deterministic Multi-Valued Structures.
ISMVL 2005: 296-301 |
48 | | Arnon Avron:
Logical Non-determinism as a Tool for Logical Modularity: An Introduction.
We Will Show Them! (1) 2005: 105-124 |
47 | EE | Arnon Avron:
Combining classical logic, paraconsistency and relevance.
J. Applied Logic 3(1): 133-160 (2005) |
46 | EE | Arnon Avron,
Iddo Lev:
Non-deterministic Multiple-valued Structures.
J. Log. Comput. 15(3): 241-261 (2005) |
45 | EE | Arnon Avron,
Beata Konikowska:
Multi-valued Calculi for Logics Based on Non-determinism.
Logic Journal of the IGPL 13(4): 365-387 (2005) |
44 | EE | Arnon Avron:
A Non-deterministic View on Non-classical Negations.
Studia Logica 80(2-3): 159-194 (2005) |
2004 |
43 | EE | Arnon Avron,
Iddo Lev:
Non-Deterministic Matrices.
ISMVL 2004: 282-287 |
42 | EE | Arnon Avron:
Formalizing Set Theory as it Is Actually Used.
MKM 2004: 32-43 |
2003 |
41 | EE | Arnon Avron:
Tableaux with Four Signs as a Unified Framework.
TABLEAUX 2003: 4-16 |
2001 |
40 | EE | Arnon Avron,
Iddo Lev:
Canonical Propositional Gentzen-Type Systems.
IJCAR 2001: 529-544 |
39 | | Arnon Avron:
Classical Gentzen-Type Methods in Propositional Many-Valued Logics.
ISMVL 2001: 287- |
38 | | Arnon Avron,
Beata Konikowska:
Decomposition Proof Systems for Gödel-Dummett Logics.
Studia Logica 69(2): 197-219 (2001) |
2000 |
37 | | Arnon Avron:
A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus.
TABLEAUX 2000: 98-111 |
36 | | Arnon Avron:
Implicational F-Structures and Implicational Relevance Logics.
J. Symb. Log. 65(2): 788-802 (2000) |
35 | EE | Ofer Arieli,
Arnon Avron:
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
Logic Journal of the IGPL 8(2): (2000) |
1999 |
34 | EE | Ofer Arieli,
Arnon Avron:
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.
ESCQARU 1999: 11-21 |
33 | | Ofer Arieli,
Arnon Avron:
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases.
J. Autom. Reasoning 22(2): 263-309 (1999) |
32 | EE | Arnon Avron:
On the Expressive Power of Three-Valued and Four-Valued Languages.
J. Log. Comput. 9(6): 977-994 (1999) |
1998 |
31 | | Ofer Arieli,
Arnon Avron:
The Logical Role of the Four-Valued Bilattice.
LICS 1998: 118-126 |
30 | EE | Ofer Arieli,
Arnon Avron:
The Value of the Four Values.
Artif. Intell. 102(1): 97-141 (1998) |
29 | | Arnon Avron:
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.
J. Symb. Log. 63(3): 831-859 (1998) |
28 | EE | Arnon Avron:
Formulas for which Contraction is Admissible.
Logic Journal of the IGPL 6(1): 43-48 (1998) |
27 | EE | Arnon Avron:
Two Types of Multiple-Conclusion Systems.
Logic Journal of the IGPL 6(5): 695-717 (1998) |
26 | | Arnon Avron,
Furio Honsell,
Marino Miculan,
Cristian Paravano:
Encoding Modal Logics in Logical Frameworks.
Studia Logica 60(1): 161-208 (1998) |
1997 |
25 | EE | Arnon Avron:
Multiplicative Conjunction as an Extensional Conjunction.
Logic Journal of the IGPL 5(2): (1997) |
1996 |
24 | | Ofer Arieli,
Arnon Avron:
Four-Valued Diagnoses for Stratified Knowledge-Bases.
CSL 1996: 1-17 |
23 | | Ofer Arieli,
Arnon Avron:
Automatic Diagnoses for Properly Stratified Knowledge-Bases.
ICTAI 1996: 392-399 |
22 | | Ofer Arieli,
Arnon Avron:
Reasoning with Logical Bilattices.
Journal of Logic, Language and Information 5(1): 25-63 (1996) |
21 | | Arnon Avron:
The Structure of Interlaced Bilattices.
Mathematical Structures in Computer Science 6(3): 287-299 (1996) |
1995 |
20 | | Arnon Avron:
A Note on the Structure of Bilattices.
Mathematical Structures in Computer Science 5(3): 431-438 (1995) |
1994 |
19 | | Ofer Arieli,
Arnon Avron:
Logical Bilattices and Inconsistent Data
LICS 1994: 468-476 |
18 | | Arnon Avron,
Nada Sasson:
Stability, Sequentiality and Demand Driven Evaluation in Dataflow.
Formal Asp. Comput. 6(6): 620-642 (1994) |
17 | | Arnon Avron:
Some Properties of Linear Logic Proved by Semantic Methods.
J. Log. Comput. 4(6): 929-938 (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) |