-
158A new correctness criterion for the proof nets of non-commutative multiplicative linear logicsJournal of Symbolic Logic 66 (4): 1524-1542. 2001.This paper presents a new correctness criterion for marked Danos-Reginer graphs (D-R graphs, for short) of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time
-
337A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagramsJournal of Symbolic Logic 52 (3): 577-581. 1987.
