Tel Aviv University Hebrew University of Jerusalem
Scientific career
Fields
Mathematical logic
Institutions
Tel Aviv University
Thesis
The Semantics and Proof Theory of Relevance Logics and Nontrivial Theories Containing Contradictions (1985)
Doctoral advisors
Haim Gaifman Yoram Hirschfeld [he]
Arnon Avron (Hebrew: ארנון אברון; born 1952) is an Israeli mathematician and Professor at the School of Computer Science at Tel Aviv University. His research focuses on applications of mathematical logic to computer science and artificial intelligence.[1]
^"Arnon Avron". Tel Aviv University. Retrieved 19 February 2019.
ArnonAvron (Hebrew: ארנון אברון; born 1952) is an Israeli mathematician and Professor at the School of Computer Science at Tel Aviv University. His research...
Journal of the Association for Computing Machinery, 40(1):143-184, 1993. ArnonAvron, Furio Honsell, Ian Mason and Randy Pollack. Using typed lambda calculus...
Photosynthesis (3rd ed.). University of London: Edward Arnold. pp. 14, 79, 84. Avron, M.; Krogmann, D. W.; Jagendorf, A. T. (1989). "The relation of photosynthetic...
probability theory, philosophy of language Institutions Columbia University Hebrew University Doctoral advisor Alfred Tarski Doctoral students ArnonAvron...
Proceedings of the Steklov Institute of Mathematics. 98. AMS: 97–124. Avron, Arnon (1996). "The method of hypersequents in the proof theory of propositional...
1905–1953. Open Road + Grove/Atlantic. pp. 1–528. ISBN 978-0-8021-8986-8. Avron, Arnon; Dershowitz, Nachum; Rabinovich, Alexander (February 8, 2008). Pillars...
and Lehmann, Ingmar. The Secrets of Triangles, Prometheus Books, 2012. Avron, Arnon (1990). "On strict strong constructibility with a compass alone". Journal...
substructural logics are considered, and the term hypersequent is introduced. Avron, Arnon (1996). "The method of hypersequents in the proof theory of propositional...