Travelled to:1 × Canada
1 × Croatia
1 × France
1 × Italy
1 × United Kingdom
2 × The Netherlands
2 × USA
Collaborated with:O.Arieli A.Zamansky I.Lev Y.Hirshfeld ∅ B.Konikowska S.Lev N.Levi
Talks about:logic (7) paraconsist (4) valu (4) bilattic (2) gentzen (2) calculi (2) order (2) maxim (2) first (2) canon (2)
Person: Arnon Avron
DBLP: Avron:Arnon
Contributed to:
2012
20102010
2006200620011998
19961994199120162018Wrote 12 papers:
- LICS-2012-AvronKZ #calculus #composition #logic
- Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (AA, BK, AZ), pp. 85–94.
- KR-2010-ArieliAZ #logic
- Maximally Paraconsistent Three-Valued Logics (OA, AA, AZ).
- LICS-2010-AvronAZ #logic #on the
- On Strong Maximality of Paraconsistent Finite-Valued Logics (AA, OA, AZ), pp. 304–313.
- IJCAR-2006-ZamanskyA #calculus #canonical #quantifier
- Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers (AZ, AA), pp. 251–265.
- KR-2006-ZamanskyA #first-order #logic #nondeterminism #semantics
- Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.
- IJCAR-2001-AvronL #canonical #type system
- Canonical Propositional Gentzen-Type Systems (AA, IL), pp. 529–544.
- LICS-1998-ArieliA #logic
- The Logical Role of the Four-Valued Bilattice (OA, AA), pp. 118–126.
- CSL-1996-ArieliA #knowledge base
- Four-Valued Diagnoses for Stratified Knowledge-Bases (OA, AA), pp. 1–17.
- LICS-1994-ArieliA #consistency #logic
- Logical Bilattices and Inconsistent Data (OA, AA), pp. 468–476.
- LICS-1991-AvronH #database #first-order #on the #query
- On First Order Database Query Languages (AA, YH), pp. 226–231.
- IJCAR-2016-Avron #framework #logic #set
- A Logical Framework for Developing and Mechanizing Set Theories (AA), pp. 3–8.
- CSL-2018-AvronLL #safety
- Safety, Absoluteness, and Computability (AA, SL, NL), p. 17.