Number of the records: 1

On the independence of axioms in BL and MTL

SYSNO	0370261
Title	On the independence of axioms in BL and MTL
Author(s)	Chvalovský, Karel (UIVT-O)_{SAI, RID, ORCID}
Source Title	Fuzzy Sets and Systems. Roč. 197, 16 June (2012), s. 123-129. - : Elsevier
Document Type	Článek v odborném periodiku
Grant	GEICC/08/E018 GA ČR - Czech Science Foundation (CSF)
	GD401/09/H007 GA ČR - Czech Science Foundation (CSF)
	73109/2009, CZ - Czech Republic
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	NL
Keywords	non-classical logics * basic fuzzy logic (BL) * monoidal t-norm based logic (MTL) * Hilbert-style calculi * independence of axioms
Permanent Link	http://hdl.handle.net/11104/0204111

	File	Download	Size	Commentary	Version	Access
	0370261.pdf	0	582.8 KB		Author´s preprint	open-access

Number of the records: 1