The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arnon Avron: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arnon Avron, Yoram Hirshfeld
    On First Order Database Query Languages [Citation Graph (2, 0)][DBLP]
    LICS, 1991, pp:226-231 [Conf]
  2. Arnon Avron
    Logical Non-determinism as a Tool for Logical Modularity: An Introduction. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:105-124 [Conf]
  3. Arnon Avron, Iddo Lev
    Canonical Propositional Gentzen-Type Systems. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:529-544 [Conf]
  4. Anna Zamansky, Arnon Avron
    Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:251-265 [Conf]
  5. Arnon Avron
    From Constructibility and Absoluteness to Computability and Domain Independence. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:11-20 [Conf]
  6. Ofer Arieli, Arnon Avron
    Four-Valued Diagnoses for Stratified Knowledge-Bases. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:1-17 [Conf]
  7. Ofer Arieli, Arnon Avron
    Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. [Citation Graph (0, 0)][DBLP]
    ESCQARU, 1999, pp:11-21 [Conf]
  8. Arnon Avron
    Non-deterministic Semantics for Paraconsistent C-Systems. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2005, pp:625-637 [Conf]
  9. Ofer Arieli, Arnon Avron
    Automatic Diagnoses for Properly Stratified Knowledge-Bases. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1996, pp:392-399 [Conf]
  10. Arnon Avron, Anna Zamansky
    Quantification in Non-Deterministic Multi-Valued Structures. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2005, pp:296-301 [Conf]
  11. Arnon Avron
    Classical Gentzen-Type Methods in Propositional Many-Valued Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:287-0 [Conf]
  12. Arnon Avron, Iddo Lev
    Non-Deterministic Matrices. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2004, pp:282-287 [Conf]
  13. Anna Zamansky, Arnon Avron
    Non-Deterministic Semantics for First-Order Paraconsistent Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:431-439 [Conf]
  14. Ofer Arieli, Arnon Avron
    Logical Bilattices and Inconsistent Data [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:468-476 [Conf]
  15. Ofer Arieli, Arnon Avron
    The Logical Role of the Four-Valued Bilattice. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:118-126 [Conf]
  16. Arnon Avron
    Formalizing Set Theory as it Is Actually Used. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:32-43 [Conf]
  17. Arnon Avron
    A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:98-111 [Conf]
  18. Arnon Avron
    Tableaux with Four Signs as a Unified Framework. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:4-16 [Conf]
  19. Ofer Arieli, Arnon Avron
    The Value of the Four Values. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:102, n:1, pp:97-141 [Journal]
  20. Arnon Avron
    Hypersequents, logical consequence and intermediate logics for concurrency. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1991, v:4, n:, pp:225-248 [Journal]
  21. Arnon Avron
    An Exercise in an Interactive Geometrical Research. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:9, n:3-4, pp:239-252 [Journal]
  22. Arnon Avron, Nada Sasson
    Stability, Sequentiality and Demand Driven Evaluation in Dataflow. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6, pp:620-642 [Journal]
  23. Arnon Avron
    Simple Consequence Relations [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:92, n:1, pp:105-140 [Journal]
  24. Ofer Arieli, Arnon Avron
    General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:2, pp:- [Journal]
  25. Arnon Avron
    Multiplicative Conjunction as an Extensional Conjunction. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:2, pp:- [Journal]
  26. Arnon Avron
    Formulas for which Contraction is Admissible. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:1, pp:43-48 [Journal]
  27. Arnon Avron
    Two Types of Multiple-Conclusion Systems. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:5, pp:695-717 [Journal]
  28. Arnon Avron, Beata Konikowska
    Multi-valued Calculi for Logics Based on Non-determinism. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:4, pp:365-387 [Journal]
  29. Arnon Avron
    Combining classical logic, paraconsistency and relevance. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2005, v:3, n:1, pp:133-160 [Journal]
  30. Ofer Arieli, Arnon Avron
    A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:22, n:2, pp:263-309 [Journal]
  31. Arnon Avron
    Gentzen-Type Systems, Resolution and Tableaux. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:10, n:2, pp:265-281 [Journal]
  32. Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
    Using Typed Lambda Calculus to Implement Formal Systems on a Machine. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:309-354 [Journal]
  33. Ofer Arieli, Arnon Avron
    Reasoning with Logical Bilattices. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1996, v:5, n:1, pp:25-63 [Journal]
  34. Arnon Avron
    Implicational F-Structures and Implicational Relevance Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:2, pp:788-802 [Journal]
  35. Arnon Avron
    Relevant Entailment--Semantics and Formal Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:2, pp:334-342 [Journal]
  36. Arnon Avron
    On Modal Systems Having Arithmetical Interpretations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:935-942 [Journal]
  37. Arnon Avron
    A Constructive Analysis of RM. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:4, pp:939-951 [Journal]
  38. Arnon Avron
    Relevance and Paraconsistency - A New Approach. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:2, pp:707-732 [Journal]
  39. Arnon Avron
    Natural 3-Valued Logics - Characterization and Proof Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:1, pp:276-294 [Journal]
  40. Arnon Avron
    Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:3, pp:831-859 [Journal]
  41. Arnon Avron
    Axiomatic Systems, Deduction and Implication. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:1, pp:51-98 [Journal]
  42. Arnon Avron
    Some Properties of Linear Logic Proved by Semantic Methods. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:6, pp:929-938 [Journal]
  43. Arnon Avron
    On the Expressive Power of Three-Valued and Four-Valued Languages. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:6, pp:977-994 [Journal]
  44. Arnon Avron, Iddo Lev
    Non-deterministic Multiple-valued Structures. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:3, pp:241-261 [Journal]
  45. Arnon Avron
    A Note on the Structure of Bilattices. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:3, pp:431-438 [Journal]
  46. Arnon Avron
    The Structure of Interlaced Bilattices. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:287-299 [Journal]
  47. Arnon Avron
    Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1990, v:31, n:1, pp:127-135 [Journal]
  48. Arnon Avron
    Relevance and Paraconsistency - A New Approach, Part II: The Formal Systems. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:169-202 [Journal]
  49. Arnon Avron
    Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1991, v:32, n:1, pp:147-160 [Journal]
  50. Arnon Avron
    A Non-deterministic View on Non-classical Negations. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:159-194 [Journal]
  51. Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano
    Encoding Modal Logics in Logical Frameworks. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:60, n:1, pp:161-208 [Journal]
  52. Arnon Avron, Beata Konikowska
    Decomposition Proof Systems for Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:69, n:2, pp:197-219 [Journal]
  53. Anna Zamansky, Arnon Avron
    Cut-Elimination and Quantification in Canonical Systems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:157-176 [Journal]
  54. Arnon Avron
    The Semantics and Proof Theory of Linear Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:57, n:, pp:161-184 [Journal]
  55. Arnon Avron, Anna Zamansky
    Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:1-24 [Conf]
  56. Arnon Avron, Anna Zamansky
    Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:26-40 [Conf]
  57. Arnon Avron
    Non-deterministic semantics for logics with a consistency operator. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 2007, v:45, n:2, pp:271-287 [Journal]

  58. Boris A. Trakhtenbrot: Academic Genealogy and Publications. [Citation Graph (, )][DBLP]


  59. A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. [Citation Graph (, )][DBLP]


  60. Strict Canonical Constructive Systems. [Citation Graph (, )][DBLP]


  61. A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. [Citation Graph (, )][DBLP]


  62. Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. [Citation Graph (, )][DBLP]


  63. Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. [Citation Graph (, )][DBLP]


  64. Logics of Reasonable Information Sources. [Citation Graph (, )][DBLP]


  65. Non-deterministic Multi-valued Logics--A Tutorial. [Citation Graph (, )][DBLP]


  66. Maximally Paraconsistent Three-Valued Logics. [Citation Graph (, )][DBLP]


  67. Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. [Citation Graph (, )][DBLP]


  68. On Strong Maximality of Paraconsistent Finite-Valued Logics. [Citation Graph (, )][DBLP]


  69. Canonical Constructive Systems. [Citation Graph (, )][DBLP]


  70. Canonical calculi with (n,k)-ary quantifiers [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002