Harold Schellinx

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\) Theorem Proving with Analytic Tableaux and Related Methods	2019-01-10	Paper
Computational isomorphisms in classical logic Theoretical Computer Science	2003-07-29	Paper
SN and CR for free-style LK^tq: linear decorations and simulation of normalization Journal of Symbolic Logic	2002-10-29	Paper
From propositional to linear logic: An introduction. Decoration, simulation, normalization	2001-09-10	Paper
scientific article; zbMATH DE number 1231529 (Why is no real title available?)	1998-12-14	Paper
On the Jordan-Hölder decomposition of proof nets Archive for Mathematical Logic	1998-09-07	Paper
A new deconstructive logic: linear logic Journal of Symbolic Logic	1998-04-05	Paper
scientific article; zbMATH DE number 970624 (Why is no real title available?)	1997-04-21	Paper
On the linear decoration of intuitionistic derivations Archive for Mathematical Logic	1995-09-11	Paper
scientific article; zbMATH DE number 786494 (Why is no real title available?)	1995-08-16	Paper
scientific article; zbMATH DE number 517072 (Why is no real title available?)	1994-03-17	Paper
scientific article; zbMATH DE number 517041 (Why is no real title available?)	1994-03-17	Paper
Some Syntactical Observations on Linear Logic Journal Of Logic And Computation	1992-06-27	Paper
Isomorphisms and nonisomorphisms of graph models Journal of Symbolic Logic	1991-01-01	Paper

Research outcomes over time

This page was built for person: Harold Schellinx