Počet záznamů: 1

Lambek Calculus with Conjugates

SYSNO	0531299
Název	Lambek Calculus with Conjugates
Tvůrce(i)	Sedlár, Igor (UIVT-O)_{RID, ORCID, SAI} Tedder, Andrew (UIVT-O)_{RID, ORCID, SAI}
Korespondující/senior	Tedder, Andrew - Korespondující autor
Zdroj.dok.	Studia Logica. Roč. 109, č. 3 (2021), s. 447-470. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	GJ18-19162Y GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	Conjugates * Lambek Calculus * Modal logic * Routley–Meyer semantics
URL	http://dx.doi.org/10.1007/s11225-020-09913-2
Trvalý link	http://hdl.handle.net/11104/0309983

Počet záznamů: 1