| Publication | Date of Publication | Type |
|---|
Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
Proof nets for multiplicative cyclic linear logic and Lambek calculus
Mathematical Structures in Computer Science | 2019-05-27 | Paper |
Analytic and synthetic in logic
Logic Journal of the IGPL | 2019-01-08 | Paper |
Logica
UNITEXT | 2018-03-09 | Paper |
A geometrical representation of the basic laws of categorial grammar
Studia Logica | 2017-07-19 | Paper |
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
Formal Grammar | 2016-12-01 | Paper |
Formal ontologies and coherent spaces
Journal of Applied Logic | 2016-05-10 | Paper |
Cyclic multiplicative proof nets of linear logic with an application to language parsing
Logic, Language, Information, and Computation | 2015-09-24 | Paper |
Universal vs. particular reasoning: a study with neuroimaging techniques
Logic Journal of the IGPL | 2015-02-24 | Paper |
On Hilbert's axiomatics of propositional logic
Perspectives on Science | 2014-07-22 | Paper |
On Residuation
Lecture Notes in Computer Science | 2014-05-08 | Paper |
Logica
UNITEXT | 2014-03-31 | Paper |
Ontologies and coherence spaces
Ludics, Dialogue and Interaction | 2011-03-04 | Paper |
| scientific article; zbMATH DE number 2216774 (Why is no real title available?) | 2007-02-01 | Paper |
Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
Theoretical Computer Science | 2003-07-29 | Paper |
Classical conservative extensions of Lambek calculus
Studia Logica | 2002-12-15 | Paper |
Non-commutative logic. I: The multiplicative fragment
Annals of Pure and Applied Logic | 2001-06-04 | Paper |
| scientific article; zbMATH DE number 1342270 (Why is no real title available?) | 2000-02-28 | Paper |
A new correctness criterion for cyclic proof nets
Journal of Logic, Language and Information | 1999-02-17 | Paper |
| scientific article; zbMATH DE number 1104362 (Why is no real title available?) | 1998-06-14 | Paper |
| scientific article; zbMATH DE number 786497 (Why is no real title available?) | 1995-12-18 | Paper |
| scientific article; zbMATH DE number 218517 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 53296 (Why is no real title available?) | 1993-01-23 | Paper |
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
Journal of Symbolic Logic | 1992-06-27 | Paper |
Non‐commutative intuitionistic linear logic
Mathematical Logic Quarterly | 1992-06-25 | Paper |
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
Mathematical Logic Quarterly | 1990-01-01 | Paper |
Some uses of dilators in combinatorial problems. II
Journal of Symbolic Logic | 1990-01-01 | Paper |
Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator)
Archive for Mathematical Logic | 1989-01-01 | Paper |
A logic of recursion
Information and Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4031678 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4031679 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4091489 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3979053 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3991495 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3825793 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 4029553 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3710143 (Why is no real title available?) | 1981-01-01 | Paper |
