Search results

Stepan Kuznetsov (section List of research outcomes)
Language models for some extensions of the Lambek calculus 2022-06-13 Paper Complexity of a fragment of infinitary action logic with exponential via non-well-founded...

10 bytes (14 words) - 03:35, 12 December 2023
V. Michele Abrusci (section List of research outcomes)
geometrical representation of the basic laws of categorial grammar 2017-07-19 Paper Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application...

10 bytes (15 words) - 12:42, 10 December 2023
Max Kanovich (section List of research outcomes)
de/entity/Q4842971 1995-08-16 Paper The complexity of Horn fragments of linear logic 1995-05-16 Paper Linear logic as a logic of computations 1995-01-16 Paper https://portal...

10 bytes (16 words) - 19:11, 11 December 2023
Domenico Cantone (section List of research outcomes)
tableau-based decision procedures for fragments of the logic of binary relations 2024-09-06 Paper Rationalization of indecisive choice behavior by pluralist...

10 bytes (15 words) - 23:41, 10 December 2023
Mitsuhiro Okada (section List of research outcomes)
for light linear logic 2003-07-29 Paper A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic 2003-07-29...

10 bytes (13 words) - 10:03, 6 October 2023
Sergey Slavnov (section List of research outcomes)
spaces of sequences and free linear logic exponential modality 2019-01-17 Paper Classical linear logic, cobordisms and categorical semantics of categorial...

10 bytes (13 words) - 18:44, 6 October 2023
Roberto Maieli (section List of research outcomes)
connectives of linear logic 2019-10-07 Paper Proof nets for multiplicative cyclic linear logic and Lambek calculus 2019-05-27 Paper Cyclic Multiplicative-Additive...

10 bytes (13 words) - 14:44, 24 September 2023
Paul Ruet (section List of research outcomes)
calculus and phase semantics 2002-11-28 Paper Non-commutative logic. I: The multiplicative fragment 2001-06-04 Paper https://portal.mardi4nfdi.de/entity/Q4218945...

10 bytes (13 words) - 12:47, 28 January 2024
G. E. Mints (section List of research outcomes)
intuitionistic predicate logic 2002-12-11 Paper Classical multiplicative linear logic \(\simeq\) intuitionistic MLL 2002-03-26 Paper Linear lambda-terms and natural...

10 bytes (17 words) - 16:17, 9 December 2023
Guy Perrier (section List of research outcomes)
for the syntax and semantics of natural languages 2000-01-17 Paper A PSPACE-complete fragment of second-order linear logic 2000-01-12 Paper https://portal...

10 bytes (13 words) - 12:13, 13 December 2023
Simon Castellan (section List of research outcomes)
2020-05-26 Paper Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment) 2020-01-28 Paper https://portal...

10 bytes (13 words) - 23:44, 24 September 2023
Misao Nagayama (section List of research outcomes)
characterization theorem for multiplicative fragment of non-commutative linear logic 2003-07-29 Paper A new correctness criterion for the proof nets of non-commutative...

10 bytes (13 words) - 10:22, 24 September 2023
Nobuko Yoshida (section List of research outcomes)
Complexity of Distributed Processes 2021-01-20 Paper A parametric framework for reversible \(\pi\)-calculi 2020-12-15 Paper Causality in linear logic. Full...

10 bytes (13 words) - 08:06, 25 September 2023
Samuel R. Buss (section List of research outcomes)
threshold logic 1996-07-16 Paper Some remarks on lengths of propositional proofs 1996-07-16 Paper Unprovability of consistency statements in fragments of bounded...

10 bytes (17 words) - 13:53, 7 December 2023
Thomas Seiller (section List of research outcomes)
the (linear) logic of Markov processes 2024-09-04 Paper Distributing and parallelizing non-canonical loops 2023-08-17 Paper Multiplicative linear logic...

10 bytes (14 words) - 09:43, 6 October 2023
Alexis Bès (section List of research outcomes)
Expansions of Labelled Linear Orderings 2011-05-26 Paper Decidable Expansions of Labelled Linear Orderings 2010-09-03 Paper Logic and rational languages of words...

10 bytes (13 words) - 22:52, 12 December 2023
Yves Lafont (section List of research outcomes)
various fragments of linear logic 1998-10-08 Paper Interaction combinators 1997-09-28 Paper The undecidability of second order multiplicative linear logic...

10 bytes (14 words) - 04:35, 13 December 2023
Samson Abramsky (section List of research outcomes)
for multiplicative linear logic 1994-08-15 Paper New foundations for the geometry of interaction 1994-07-18 Paper Computational interpretations of linear...

10 bytes (15 words) - 07:06, 7 October 2023
Christian Choffrut (section List of research outcomes)
(Un)decidability of Fragments of 〈 ω ω λ ;× 〉 2019-06-14 Paper Two equational theories of partial words 2018-06-18 Paper Decidability of the existential fragment of...

10 bytes (13 words) - 02:50, 9 December 2023
Benedikt Löwe (section List of research outcomes)
100 years of mathematics at the University of Hamburg 2024-08-06 Paper Symmetry for transfinite computability 2024-01-12 Paper The modal logic of abelian...

10 bytes (15 words) - 07:21, 9 December 2023