2 treff

A simple three-valued sequent calculus
Elvang-Göransson, Morten
Bok Engelsk 1992
Wiring semantics for propositional linear logic
Morten Elvang-Gøransson ... [et al.]
Bok Engelsk 1991