Search results
- 1.0370261 - ÚI 2013 RIV NL eng J - Journal Article
Chvalovský, Karel
On the independence of axioms in BL and MTL.
Fuzzy Sets and Systems. Roč. 197, 16 June (2012), s. 123-129. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant - others:GA UK(CZ) 73109/2009
Institutional research plan: CEZ:AV0Z10300504
Keywords : non-classical logics * basic fuzzy logic (BL) * monoidal t-norm based logic (MTL) * Hilbert-style calculi * independence of axioms
Subject RIV: BA - General Mathematics
Impact factor: 1.749, year: 2012
Permanent Link: http://hdl.handle.net/11104/0204111File Download Size Commentary Version Access 0370261.pdf 0 582.8 KB Author´s preprint open-access - 2.0079129 - ÚI 2008 RIV NL eng J - Journal Article
Horčík, Rostislav
On the Failure of Standard Completeness in PiMTL for Infinite Theories.
[PiMTL nemá silnou standardní úplnost pro nekonečné teorie.]
Fuzzy Sets and Systems. Roč. 158, č. 6 (2007), s. 619-624. ISSN 0165-0114. E-ISSN 1872-6801
Source of funding: V - Other public resources
Keywords : strong standard completeness * monoidal t-norm based logic (MTL) * basic fuzzy logic (BL) * product logic * Lukasiewicz logic * PiMTL * IMTL
Subject RIV: BA - General Mathematics
Impact factor: 1.373, year: 2007
Permanent Link: http://hdl.handle.net/11104/0144000File Download Size Commentary Version Access 0079129.pdf 1 270.6 KB Author´s preprint open-access