BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Avron:Arnon

Contributed to:

LICS 20122012
KR 20102010
LICS 20102010
IJCAR 20062006
KR 20062006
IJCAR 20012001
LICS 19981998
CSL 19961996
LICS 19941994
LICS 19911991
IJCAR 20162016
CSL 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.