217:
In 1988 he became a senior faculty member of the
Department of Computer Science (later School of Computer Science) of Tel Aviv University, chairing the School in 1996–1998, and becoming a Full Professor in 1999.
683:
713:
207:
469:
616:
360:
Avron, Arnon; Honsell, Furio; Mason, Ian A.; Pollack, Robert (1992). "Using typed lambda calculus to implement formal systems on a machine".
350:
688:
708:
135:
546:
703:
698:
193:
71:
391:
247:
239:
259:
203:
173:
678:
478:
400:
693:
130:
673:
271:
111:
The
Semantics and Proof Theory of Relevance Logics and Nontrivial Theories Containing Contradictions
405:
632:
Avron, Arnon (1991). "Hypersequents, logical consequence and intermediate logics for concurrency".
578:
438:
Avron, Arnon (1991). "Hypersequents, logical consequence and intermediate logics for concurrency".
235:
231:
189:
161:
98:
67:
649:
455:
426:
418:
377:
251:
165:
88:
483:
612:
346:
243:
641:
555:
488:
447:
410:
369:
267:
255:
211:
169:
160:; born 1952) is an Israeli mathematician and Professor at the School of Computer Science at
121:
544:
Arieli, Ofer; Konikowska, Beata; Rabinovich, Alexander; Zamansky, Anna (2016). "Foreword".
593:
327:
275:
198:
153:
600:
594:"The method of hypersequents in the proof theory of propositional non-classical logics"
573:
334:
328:"The method of hypersequents in the proof theory of propositional non-classical logics"
309:
667:
604:
492:
338:
430:
314:. Broadcast University Series (in Hebrew). Israel: Ministry of Defense Publications.
653:
459:
381:
263:
227:
126:
389:
Avron, Arnon (1991). "Natural 3-valued logics—characterization and proof theory".
262:, Avron contributed to the theory of automated reasoning with his introduction of
298:
202:
from Tel Aviv
University in 1985. Between 1986 and 1988, he was a visitor at the
559:
279:
185:
42:
645:
467:
Avron, Arnon (1988). "The semantics and proof theory of linear logic".
451:
422:
373:
105:
57:
46:
414:
311:
Gödel's
Theorems and the Problem of the Foundations of Mathematics
514:
574:"On strict strong constructibility with a compass alone"
120:
104:
94:
84:
63:
53:
35:
21:
634:Annals of Mathematics and Artificial Intelligence
440:Annals of Mathematics and Artificial Intelligence
303:(in Hebrew). Tel Aviv: Tel Aviv University Press.
270:. Avron also introduced the use of bilattices to
208:Laboratory for Foundations of Computer Science
8:
611:. New York: Clarendon Press. pp. 1–32.
345:. New York: Clarendon Press. pp. 1–32.
188:in 1952, Arnon Avron studied mathematics at
607:; Steinhorn, Charles; Truss, John (eds.).
539:
537:
535:
341:; Steinhorn, Charles; Truss, John (eds.).
164:. His research focuses on applications of
18:
482:
404:
684:Einstein Institute of Mathematics alumni
609:Logic: From Foundations to Applications
506:
343:Logic: From Foundations to Applications
210:, where he began his association with
714:Academic staff of Tel Aviv University
7:
300:Introduction to Discrete Mathematics
226:Avron's research interests include
157:
14:
547:Journal of Logic and Computation
362:Journal of Automated Reasoning
194:Hebrew University of Jerusalem
72:Hebrew University of Jerusalem
1:
392:The Journal of Symbolic Logic
493:10.1016/0304-3975(88)90037-0
470:Theoretical Computer Science
274:, and made contributions to
689:Israeli computer scientists
39:1952 (age 71–72)
730:
709:Tel Aviv University alumni
266:, a generalization of the
240:foundations of mathematics
143:
77:
28:
29:
260:artificial intelligence
248:Mohr–Mascheroni theorem
204:University of Edinburgh
174:artificial intelligence
704:Mathematical logicians
699:Israeli mathematicians
276:predicative set theory
592:Avron, Arnon (1996).
560:10.1093/logcom/ext023
326:Avron, Arnon (1996).
308:Avron, Arnon (1998).
297:Avron, Arnon (2001).
242:. For example, using
16:Israeli mathematician
272:paraconsistent logic
236:non-classical logics
196:, receiving a Ph.D.
579:Journal of Geometry
572:Arnon Avron (1990)
519:Tel Aviv University
232:automated reasoning
190:Tel Aviv University
162:Tel Aviv University
99:Tel Aviv University
68:Tel Aviv University
646:10.1007/BF01531058
452:10.1007/BF01531058
374:10.1007/BF00245294
252:mathematical logic
166:mathematical logic
89:Mathematical logic
618:978-0-19-853862-2
352:978-0-19-853862-2
244:analytic geometry
147:
146:
122:Doctoral advisors
79:Scientific career
721:
658:
657:
640:(3–4): 225–248.
629:
623:
622:
598:
589:
583:
570:
564:
563:
541:
530:
529:
527:
525:
511:
496:
486:
477:(2–3): 161–184.
463:
446:(3–4): 225–248.
434:
408:
385:
356:
332:
315:
304:
268:sequent calculus
256:computer science
212:computer science
170:computer science
159:
139:
131:Yoram Hirschfeld
116:
19:
729:
728:
724:
723:
722:
720:
719:
718:
664:
663:
662:
661:
631:
630:
626:
619:
601:Hodges, Wilfrid
596:
591:
590:
586:
571:
567:
543:
542:
533:
523:
521:
513:
512:
508:
503:
466:
437:
415:10.2307/2274919
406:10.1.1.638.9332
388:
359:
353:
335:Hodges, Wilfrid
330:
325:
322:
307:
296:
293:
288:
224:
199:magna cum laude
182:
133:
129:
114:
70:
64:Alma mater
49:
40:
31:
24:
17:
12:
11:
5:
727:
725:
717:
716:
711:
706:
701:
696:
691:
686:
681:
676:
666:
665:
660:
659:
624:
617:
605:Hyland, Martin
584:
565:
531:
505:
504:
502:
499:
498:
497:
464:
435:
399:(1): 276–294.
386:
368:(3): 309–354.
357:
351:
339:Hyland, Martin
321:
318:
317:
316:
305:
292:
289:
287:
286:Selected works
284:
250:. In applying
246:he proved the
223:
220:
181:
178:
145:
144:
141:
140:
124:
118:
117:
108:
102:
101:
96:
92:
91:
86:
82:
81:
75:
74:
65:
61:
60:
55:
51:
50:
41:
37:
33:
32:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
726:
715:
712:
710:
707:
705:
702:
700:
697:
695:
692:
690:
687:
685:
682:
680:
679:Living people
677:
675:
672:
671:
669:
655:
651:
647:
643:
639:
635:
628:
625:
620:
614:
610:
606:
602:
595:
588:
585:
581:
580:
575:
569:
566:
561:
557:
553:
549:
548:
540:
538:
536:
532:
520:
516:
515:"Arnon Avron"
510:
507:
500:
494:
490:
485:
480:
476:
472:
471:
465:
461:
457:
453:
449:
445:
441:
436:
432:
428:
424:
420:
416:
412:
407:
402:
398:
394:
393:
387:
383:
379:
375:
371:
367:
363:
358:
354:
348:
344:
340:
336:
329:
324:
323:
319:
313:
312:
306:
302:
301:
295:
294:
290:
285:
283:
281:
277:
273:
269:
265:
264:hypersequents
261:
257:
253:
249:
245:
241:
237:
233:
229:
221:
219:
215:
213:
209:
205:
201:
200:
195:
191:
187:
179:
177:
175:
171:
167:
163:
155:
151:
142:
137:
132:
128:
125:
123:
119:
112:
109:
107:
103:
100:
97:
93:
90:
87:
83:
80:
76:
73:
69:
66:
62:
59:
56:
52:
48:
44:
38:
34:
27:
20:
694:Israeli Jews
637:
633:
627:
608:
587:
577:
568:
551:
545:
522:. Retrieved
518:
509:
474:
468:
443:
439:
396:
390:
365:
361:
342:
310:
299:
228:proof theory
225:
216:
197:
183:
149:
148:
127:Haim Gaifman
110:
95:Institutions
78:
674:1952 births
524:19 February
484:10.1.1.29.9
158:ארנון אברון
150:Arnon Avron
134: [
54:Nationality
30:ארנון אברון
23:Arnon Avron
668:Categories
554:(1): 1–6.
501:References
479:CiteSeerX
401:CiteSeerX
180:Biography
431:15084999
320:Articles
280:geometry
222:Research
192:and the
186:Tel Aviv
184:Born in
43:Tel Aviv
654:9610134
582:38: 12.
460:9610134
423:2274919
382:2528793
58:Israeli
652:
615:
481:
458:
429:
421:
403:
380:
349:
154:Hebrew
115:(1985)
113:
106:Thesis
85:Fields
47:Israel
650:S2CID
599:. In
597:(PDF)
456:S2CID
427:S2CID
419:JSTOR
378:S2CID
333:. In
331:(PDF)
291:Books
138:]
613:ISBN
526:2019
347:ISBN
278:and
172:and
36:Born
642:doi
556:doi
489:doi
448:doi
411:doi
370:doi
258:to
254:in
206:'s
168:to
670::
648:.
636:.
603:;
576:,
550:.
534:^
517:.
487:.
475:57
473:.
454:.
442:.
425:.
417:.
409:.
397:56
395:.
376:.
364:.
337:;
282:.
238:,
234:,
230:,
214:.
176:.
156::
136:he
45:,
656:.
644::
638:4
621:.
562:.
558::
552:2
528:.
495:.
491::
462:.
450::
444:4
433:.
413::
384:.
372::
366:9
355:.
152:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.