Volume 33, Issue 6 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 33, Issue 6

February 1995

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

On the linear decoration of intuitionistic derivations
Vincent Danos
Jean-Baptiste Joinet
Harold Schellinx
OriginalPaper Pages: 387 - 412
Functoroids and ptykoids
J. R. G. Catlow
OriginalPaper Pages: 413 - 425
RSUV isomorphisms for TACⁱ, TNCⁱ and TLS
G. Takeuti
OriginalPaper Pages: 427 - 453