Mati Pentus

Available identifiers

zbMath Open pentus.matiWikidataQ102290098 ScholiaQ102290098MaRDI QIDQ376153

List of research outcomes

Publication	Date of Publication	Type
Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening	2023-03-06	Paper
Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening	2022-06-09	Paper
Sergei Ivanovich Adian	2021-06-04	Paper
Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)	2020-03-11	Paper
Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening	2019-12-08	Paper
The atomic theory of division and intersection of semiring ideals	2018-10-30	Paper
The atomic theory of multiplication and division of semiring ideals	2014-06-04	Paper
The Monotone Lambek Calculus Is NP-Complete	2014-05-08	Paper
The atomic theory of left division of two-sided ideals of semirings with unit	2013-11-04	Paper
Complexity of the Lambek calculus and its fragments	2012-08-05	Paper
The atomic theory of division of semiring ideals	2008-10-28	Paper
Lambek calculus is NP-complete	2006-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5315078	2005-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4761669	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4761807	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4761792	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4381419	2000-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4263490	1999-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4218528	1999-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4245751	1999-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4376071	1998-02-08	Paper
Product-free Lambek calculus and context-free grammars	1998-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q3128065	1997-07-01	Paper
Models for the Lambek calculus	1995-10-04	Paper
The conjoinability relation in Lambek calculus and linear logic	1994-09-26	Paper

Research outcomes over time

This page was built for person: Mati Pentus