Number of the records: 1

Lambek Calculus with Conjugates

SYSNO	0531299
Title	Lambek Calculus with Conjugates
Author(s)	Sedlár, Igor (UIVT-O)_{RID, ORCID, SAI} Tedder, Andrew (UIVT-O)_{RID, ORCID, SAI}
Corespondence/senior	Tedder, Andrew - Korespondující autor
Source Title	Studia Logica. Roč. 109, č. 3 (2021), s. 447-470. - : Springer
Document Type	Článek v odborném periodiku
Grant	GJ18-19162Y GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	UIVT-O - RVO:67985807
Language	eng
Country	NL
Keywords	Conjugates * Lambek Calculus * Modal logic * Routley–Meyer semantics
URL	http://dx.doi.org/10.1007/s11225-020-09913-2
Permanent Link	http://hdl.handle.net/11104/0309983

Number of the records: 1