Volume 33; Issue 6

Archive for Mathematical Logic

Volume 33; Issue 6
1

On the linear decoration of intuitionistic derivations

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
Journal:
Archive for Mathematical Logic
Year:
1995
Language:
english
File:
PDF, 1.53 MB
english, 1995
2

Functoroids and ptykoids

J. R. G. Catlow
Journal:
Archive for Mathematical Logic
Year:
1995
Language:
english
File:
PDF, 780 KB
english, 1995
3

RSUV isomorphisms for TACi, TNCiand TLS

G. Takeuti
Journal:
Archive for Mathematical Logic
Year:
1995
Language:
english
File:
PDF, 1.35 MB
english, 1995