Number of the records: 1

Lambek Calculus with Conjugates

SYSNO ASEP	0531299
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Lambek Calculus with Conjugates
Author(s)	Sedlár, Igor (UIVT-O)_{RID, ORCID, SAI} Tedder, Andrew (UIVT-O)_{RID, ORCID, SAI}
Number of authors	2
Source Title	Studia Logica. - : Springer - ISSN 0039-3215 Roč. 109, č. 3 (2021), s. 447-470
Number of pages	24 s.
Language	eng - English
Country	NL - Netherlands
Keywords	Conjugates ; Lambek Calculus ; Modal logic ; Routley–Meyer semantics
Subject RIV	BA - General Mathematics
OECD category	Pure mathematics
R&D Projects	GJ18-19162Y GA ČR - Czech Science Foundation (CSF)
Method of publishing	Limited access
Institutional support	UIVT-O - RVO:67985807
UT WOS	000553263900001
EID SCOPUS	85088789957
DOI	10.1007/s11225-020-09913-2
Annotation	We study an expansion of the Distributive Non-associative Lambek Calculus with conjugates of the Lambek product operator and residuals of those conjugates. The resulting logic is well-motivated, under-investigated and difficult to tackle. We prove completeness for some of its fragments and establish that it is decidable. Completeness of the logic is an open problem. Some difficulties with applying the usual proof method are discussed.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2022
Electronic address	http://dx.doi.org/10.1007/s11225-020-09913-2

Number of the records: 1