Avron, J
1217  results:
Search for persons X
?
3

The Wigner Medal 2014:

Avron, J ; Bohm, A ; Schulman, L S
Journal of Physics: Conference Series.  597 (2015)  - p. 011004 , 2015
 
?
4

A semantic proof of strong cut-admissibility for first-orde..:

Lahav, O. ; Avron, A.
Journal of Logic and Computation.  23 (2012)  1 - p. 59-86 , 2012
 
?
5

Cut-free sequent calculi for C-systems with generalized fin..:

Avron, A. ; Konikowska, B. ; Zamansky, A.
Journal of Logic and Computation.  23 (2012)  3 - p. 517-540 , 2012
 
?
6

Ideal Paraconsistent Logics:

Arieli, O. ; Avron, A. ; Zamansky, A.
Studia Logica.  99 (2011)  1-3 - p. 31-60 , 2011
 
?
7

Ideal Paraconsistent Logics:

Arieli, O. ; Avron, A. ; Zamansky, A.
Studia Logica: An International Journal for Symbolic Logic.  99 (2011)  1/3 - p. 31-60 , 2011
 
?
8

A Simple Proof of Completeness and Cut-admissibility for Pr..:

Avron, A.
Journal of Logic and Computation.  21 (2009)  5 - p. 813-821 , 2009
 
?
9

Editorial: Proof Theory Corner:

Avron, A.
Journal of Logic and Computation.  19 (2009)  6 - p. 969-969 , 2009
 
?
10

Rough Sets and 3-Valued Logics:

Avron, A. ; Konikowska, B.
Studia Logica: An International Journal for Symbolic Logic.  90 (2008)  1 - p. 69-92 , 2008
 
?
11

Rough Sets and 3-Valued Logics:

Avron, A. ; Konikowska, B.
Studia Logica.  90 (2008)  1 - p. 69-92 , 2008
 
?
 
?
 
?
14

Treatment of new‐onset type 1 diabetes with peptide DiaPep2..:

Raz, I. ; Avron, A. ; Tamir, M....
Diabetes/Metabolism Research and Reviews.  23 (2006)  4 - p. 292-298 , 2006
 
?
15

Entangled photon pairs from radiative cascades in semicondu..:

Akopian, N. ; Lindner, N. H. ; Poem, E....
physica status solidi (b).  243 (2006)  15 - p. 3900-3904 , 2006
 
1-15