Avron Arnon

发表

The semantics and proof theory of linear logic

Avron Arnon, 1988 .

5-VALUED NON-DETERMINISTIC SEMANTICS FOR THE BASIC PARACONSISTENT LOGIC mCi

Avron Arnon, 2008 .

Implication, Equivalence, and Negation

Avron Arnon, 2021, Logical Investigations.