Follow
Arnon Avron
Arnon Avron
Professor of Computer Science, Tel Aviv university
Verified email at cs.tau.ac.il - Homepage
Title
Cited by
Cited by
Year
The method of hypersequents in the proof theory of propositional non-classical logics
A Avron
na, 1996
3701996
Reasoning with logical bilattices
O Arieli, A Avron
Journal of Logic, Language and Information 5, 25-63, 1996
3661996
The value of the four values
O Arieli, A Avron
Artificial Intelligence 102 (1), 97-141, 1998
3561998
Natural 3-valued logics—characterization and proof theory
A Avron
The Journal of Symbolic Logic 56 (1), 276-294, 1991
3471991
Simple consequence relations
A Avron
Information and Computation 92 (1), 105-139, 1991
3301991
Hypersequents, logical consequence and intermediate logics for concurrency
A Avron
Annals of mathematics and artificial intelligence 4, 225-248, 1991
2551991
Non-deterministic multiple-valued structures
A Avron, I Lev
Journal of Logic and Computation 15 (3), 241-261, 2005
2542005
The semantics and proof theory of linear logic
A Avron
Theoretical Computer Science 57 (2-3), 161-184, 1988
2471988
A constructive analysis of RM
A Avron
The Journal of symbolic logic 52 (4), 939-951, 1987
1971987
Non-deterministic semantics for logical systems
A Avron, A Zamansky
Handbook of Philosophical Logic: Volume 16, 227-304, 2010
1962010
Using typed lambda calculus to implement formal systems on a machine
A Avron, F Honsell, IA Mason, R Pollack
Journal of Automated Reasoning 9, 309-354, 1992
1581992
Canonical propositional Gentzen-type systems
A Avron, I Lev
International Joint Conference on Automated Reasoning, 529-544, 2001
1522001
Gentzen-type systems, resolution and tableaux
A Avron
Journal of Automated reasoning 10, 265-281, 1993
1401993
On modal systems having arithmetical interpretations
A Avron
The Journal of Symbolic Logic 49 (3), 935-942, 1984
951984
On an implication connective of RM.
A Avron
Notre Dame J. Formal Log. 27 (2), 201-209, 1986
921986
Non-deterministic semantics for logics with a consistency operator
A Avron
International Journal of Approximate Reasoning 45 (2), 271-287, 2007
872007
The structure of interlaced bilattices
A Avron
Mathematical Structures in Computer Science 6 (3), 287-299, 1996
851996
Non-deterministic matrices and modular semantics of rules
A Avron
Logica universalis: towards a general theory of logic, 149-167, 2005
832005
Ideal paraconsistent logics
O Arieli, A Avron, A Zamansky
Studia Logica 99, 31-60, 2011
812011
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
A Avron, J Ben-Naim, B Konikowska
Logica Universalis 1, 41-70, 2007
752007
The system can't perform the operation now. Try again later.
Articles 1–20