Počet záznamů: 1

A note on the substructural hierarchy

SYSNO ASEP	0456876
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Článek ve WOS
Název	A note on the substructural hierarchy
Tvůrce(i)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Zdroj.dok.	Mathematical Logic Quarterly. - : Wiley - ISSN 0942-5616 Roč. 62, 1-2 (2016), s. 102-110
Poč.str.	9 s.
Jazyk dok.	eng - angličtina
Země vyd.	DE - Německo
Klíč. slova	substructural hierarchy ; full Lambek calculus ; extension variables
Vědní obor RIV	BA - Obecná matematika
Institucionální podpora	MU-W - RVO:67985840
UT WOS	000371669800013
EID SCOPUS	84958883484
DOI	10.1002/malq.201500066
Anotace	We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the N3 level of the substructural hierarchy.
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	2017

Počet záznamů: 1