Note on Deduction Theorems in contraction-free logics

Number of the records: 1

1.

SYSNO	0376591
Title	Note on Deduction Theorems in contraction-free logics
Author(s)	Chvalovský, Karel (UIVT-O)_{SAI, RID, ORCID} Cintula, Petr (UIVT-O)_{RID, ORCID, SAI}
Source Title	Mathematical Logic Quarterly. Roč. 58, č. 3 (2012), s. 236-243. - : Wiley
Document Type	Článek v odborném periodiku
Grant	GAP202/10/1826 GA ČR - Czech Science Foundation (CSF)
	START Y544-N23, AT - Austria
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	DE
Keywords	Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
Permanent Link	http://hdl.handle.net/11104/0208951

	File	Download	Size	Commentary	Version	Access
	0376591.pdf	1	848.5 KB	GSp	Author´s preprint	open-access

Number of the records: 1