Concepedia

Harold Schellinx

HS

Statistics

Publications

8

Citations

347

H-Index

8

Active since

1991

Affiliations

Université Paris Cité(Current)

University of Amsterdam

Utrecht University

Harold Schellinx is an author at Université Paris Cité specializing in mathematics, computer science, and humanities.

ORCID

Publications per year

1991–2003

8

Publications

8

A new deconstructive logic: linear logic

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx · Journal of Symbolic Logic · 1997 · 142 citations

, , +8

LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx · 1995 · 63 citations

, , +8

Some Syntactical Observations on Linear Logic

Harold Schellinx · Journal of Logic and Computation · 1991 · 55 citations

, , +11

Extending intuitionistic linear logic with knotted structural rules.

Ryo Hori, H. Ono, Harold Schellinx · Notre Dame Journal of Formal Logic · 1994 · 25 citations · Full text

, , +13

On the linear decoration of intuitionistic derivations

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx · Archive for Mathematical Logic · 1995 · 21 citations

, , +3

1–5 of 8