Search the dblp DataBase
Arnon Avron :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Arnon Avron , Yoram Hirshfeld On First Order Database Query Languages [Citation Graph (2, 0)][DBLP ] LICS, 1991, pp:226-231 [Conf ] 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 ] Arnon Avron , Iddo Lev Canonical Propositional Gentzen-Type Systems. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:529-544 [Conf ] Anna Zamansky , Arnon Avron Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. [Citation Graph (0, 0)][DBLP ] IJCAR, 2006, pp:251-265 [Conf ] Arnon Avron From Constructibility and Absoluteness to Computability and Domain Independence. [Citation Graph (0, 0)][DBLP ] CiE, 2006, pp:11-20 [Conf ] Ofer Arieli , Arnon Avron Four-Valued Diagnoses for Stratified Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] CSL, 1996, pp:1-17 [Conf ] 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 ] Arnon Avron Non-deterministic Semantics for Paraconsistent C-Systems. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2005, pp:625-637 [Conf ] Ofer Arieli , Arnon Avron Automatic Diagnoses for Properly Stratified Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] ICTAI, 1996, pp:392-399 [Conf ] Arnon Avron , Anna Zamansky Quantification in Non-Deterministic Multi-Valued Structures. [Citation Graph (0, 0)][DBLP ] ISMVL, 2005, pp:296-301 [Conf ] Arnon Avron Classical Gentzen-Type Methods in Propositional Many-Valued Logics. [Citation Graph (0, 0)][DBLP ] ISMVL, 2001, pp:287-0 [Conf ] Arnon Avron , Iddo Lev Non-Deterministic Matrices. [Citation Graph (0, 0)][DBLP ] ISMVL, 2004, pp:282-287 [Conf ] Anna Zamansky , Arnon Avron Non-Deterministic Semantics for First-Order Paraconsistent Logics. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:431-439 [Conf ] Ofer Arieli , Arnon Avron Logical Bilattices and Inconsistent Data [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:468-476 [Conf ] Ofer Arieli , Arnon Avron The Logical Role of the Four-Valued Bilattice. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:118-126 [Conf ] Arnon Avron Formalizing Set Theory as it Is Actually Used. [Citation Graph (0, 0)][DBLP ] MKM, 2004, pp:32-43 [Conf ] 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 ] Arnon Avron Tableaux with Four Signs as a Unified Framework. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:4-16 [Conf ] 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 ] 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 ] 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 ] 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 ] Arnon Avron Simple Consequence Relations [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1991, v:92, n:1, pp:105-140 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Arnon Avron A Constructive Analysis of RM. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1987, v:52, n:4, pp:939-951 [Journal ] 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 ] 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 ] 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 ] Arnon Avron Axiomatic Systems, Deduction and Implication. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1992, v:2, n:1, pp:51-98 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Arnon Avron , Anna Zamansky Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. [Citation Graph (0, 0)][DBLP ] LFCS, 2007, pp:26-40 [Conf ] 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 ] Boris A. Trakhtenbrot: Academic Genealogy and Publications. [Citation Graph (, )][DBLP ] A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. [Citation Graph (, )][DBLP ] Strict Canonical Constructive Systems. [Citation Graph (, )][DBLP ] A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. [Citation Graph (, )][DBLP ] Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. [Citation Graph (, )][DBLP ] Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. [Citation Graph (, )][DBLP ] Logics of Reasonable Information Sources. [Citation Graph (, )][DBLP ] Non-deterministic Multi-valued Logics--A Tutorial. [Citation Graph (, )][DBLP ] Maximally Paraconsistent Three-Valued Logics. [Citation Graph (, )][DBLP ] Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. [Citation Graph (, )][DBLP ] On Strong Maximality of Paraconsistent Finite-Valued Logics. [Citation Graph (, )][DBLP ] Canonical Constructive Systems. [Citation Graph (, )][DBLP ] Canonical calculi with (n,k)-ary quantifiers [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.457secs