Wednesday, May 27 2020, 08:21 am
On the meaning of logical rules I : syntax vs. semantics

On the meaning of logical rules I : syntax vs. semantics

On the meaning of logical rules I : syntax vs. semantics Jean-Yves Girard Institut de Math ematiques de Luminy, UPR 9016 { CNRS 163, Avenue de Luminy, Case 930, F-13288 Marseille Cedex 09