dblp.uni-trier.dewww.uni-trier.de

Arnon Avron Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
69EEArnon Avron, Agata Ciabattoni, Anna Zamansky: Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR 2009: 26-37
68EEArnon Avron, Anna Zamansky: Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. LFCS 2009: 31-45
67EEArnon Avron, Ori Lahav: Canonical Constructive Systems. TABLEAUX 2009: 62-76
2008
66 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
65EEArnon Avron, Anna Zamansky: A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. CSR 2008: 52-63
64EEArnon Avron, Nachum Dershowitz, Alexander Rabinovich: Boris A. Trakhtenbrot: Academic Genealogy and Publications. Pillars of Computer Science 2008: 46-57
63EEArnon Avron: A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. Pillars of Computer Science 2008: 87-106
62EEArnon Avron, Anna Zamansky: Canonical calculi with (n,k)-ary quantifiers CoRR abs/0806.0081: (2008)
61EEArnon Avron, Anna Zamansky: Canonical Calculi with (n, k)-ary Quantifiers. Logical Methods in Computer Science 4(3): (2008)
60EEArnon Avron, Beata Konikowska: Rough Sets and 3-Valued Logics. Studia Logica 90(1): 69-92 (2008)
59EEArnon Avron: Constructibility and decidability versus domain independence and absoluteness. Theor. Comput. Sci. 394(3): 144-158 (2008)
2007
58EEArnon Avron, Anna Zamansky: Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. ISMVL 2007: 14
57EEArnon Avron, Anna Zamansky: Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. LFCS 2007: 26-40
56EEArnon Avron: Non-deterministic semantics for logics with a consistency operator. Int. J. Approx. Reasoning 45(2): 271-287 (2007)
2006
55EEArnon 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
54EEArnon Avron: From Constructibility and Absoluteness to Computability and Domain Independence. CiE 2006: 11-20
53EEAnna 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
51EEAnna Zamansky, Arnon Avron: Cut-Elimination and Quantification in Canonical Systems. Studia Logica 82(1): 157-176 (2006)
2005
50EEArnon Avron: Non-deterministic Semantics for Paraconsistent C-Systems. ECSQARU 2005: 625-637
49EEArnon 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
47EEArnon Avron: Combining classical logic, paraconsistency and relevance. J. Applied Logic 3(1): 133-160 (2005)
46EEArnon Avron, Iddo Lev: Non-deterministic Multiple-valued Structures. J. Log. Comput. 15(3): 241-261 (2005)
45EEArnon Avron, Beata Konikowska: Multi-valued Calculi for Logics Based on Non-determinism. Logic Journal of the IGPL 13(4): 365-387 (2005)
44EEArnon Avron: A Non-deterministic View on Non-classical Negations. Studia Logica 80(2-3): 159-194 (2005)
2004
43EEArnon Avron, Iddo Lev: Non-Deterministic Matrices. ISMVL 2004: 282-287
42EEArnon Avron: Formalizing Set Theory as it Is Actually Used. MKM 2004: 32-43
2003
41EEArnon Avron: Tableaux with Four Signs as a Unified Framework. TABLEAUX 2003: 4-16
2001
40EEArnon 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)
35EEOfer Arieli, Arnon Avron: General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. Logic Journal of the IGPL 8(2): (2000)
1999
34EEOfer 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)
32EEArnon 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
30EEOfer 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)
28EEArnon Avron: Formulas for which Contraction is Admissible. Logic Journal of the IGPL 6(1): 43-48 (1998)
27EEArnon 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
25EEArnon Avron: Multiplicative Conjunction as an Extensional Conjunction. Logic Journal of the IGPL 5(2): (1997)
1996
24EEOfer 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)

Coauthor Index

1Ofer Arieli [19] [22] [23] [24] [30] [31] [33] [34] [35]
2Agata Ciabattoni [69]
3Nachum Dershowitz [64] [66]
4Yoram Hirshfeld [12]
5Furio Honsell [14] [26]
6Beata Konikowska [38] [45] [60]
7Ori Lahav [67]
8Iddo Lev [40] [43] [46]
9Ian A. Mason [14]
10Marino Miculan [26]
11Cristian Paravano [26]
12Robert Pollack [14]
13Alexander Moshe Rabinovich (Alexander Rabinovich) [64] [66]
14Nada Sasson [18]
15Anna Zamansky [49] [51] [52] [53] [55] [57] [58] [61] [62] [65] [68] [69]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)