Harold Schellinx

Available identifiers

zbMath Open schellinx.haroldMaRDI QIDQ1345900

List of research outcomes

Publication	Date of Publication	Type
Strong normalization for all-style LKtq	2019-01-10	Paper
Computational isomorphisms in classical logic	2003-07-29	Paper
SN and CR for free-style LKtq: linear decorations and simulation of normalization	2002-10-29	Paper
From propositional to linear logic: An introduction. Decoration, simulation, normalization	2001-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4222844	1998-12-14	Paper
On the Jordan-Hölder decomposition of proof nets	1998-09-07	Paper
A new deconstructive logic: linear logic	1998-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q5688803	1997-04-21	Paper
On the linear decoration of intuitionistic derivations	1995-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4842975	1995-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4282602	1994-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4282569	1994-03-17	Paper
Some Syntactical Observations on Linear Logic	1992-06-27	Paper
Isomorphisms and nonisomorphisms of graph models	1991-01-01	Paper

Research outcomes over time

This page was built for person: Harold Schellinx