Almost (MP)-based Substructural Logics

Počet záznamů: 1

1.

SYSNO	0361600
Název	Almost (MP)-based Substructural Logics
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, C. (ES)
Zdroj.dok.	Topology, Algebra and Categories in Logic. S. 107-110. - Marseille, 2011
Konference	TACL 2011. Topology, Algebra and Categories in Logic /5./, Marseilles, 26.07.2011-30.07.2011
Druh dok.	Abstrakt
Grant	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	FR
Klíč.slova	nonassociative full Lambek calculus * deduction theorem
Trvalý link	http://hdl.handle.net/11104/0198882

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0361600.pdf	0	634.9 KB		Autorský preprint	povolen

Počet záznamů: 1