Počet záznamů: 1

Note on Deduction Theorems in contraction-free logics

SYSNO	0376591
Název	Note on Deduction Theorems in contraction-free logics
Tvůrce(i)	Chvalovský, Karel (UIVT-O)_{SAI, RID, ORCID} Cintula, Petr (UIVT-O)_{RID, ORCID, SAI}
Zdroj.dok.	Mathematical Logic Quarterly. Roč. 58, č. 3 (2012), s. 236-243. - : Wiley
Druh dok.	Článek v odborném periodiku
Grant	GAP202/10/1826 GA ČR - Grantová agentura ČR
	START Y544-N23, AT - Rakousko
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
Trvalý link	http://hdl.handle.net/11104/0208951

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0376591.pdf	1	848.5 KB	GSp	Autorský preprint	povolen

Počet záznamů: 1