Search results
- 1.0420892 - ÚI 2014 RIV PL eng J - Journal Article
Chvalovský, Karel
Note on D-Completeness and Prelinearity.
Bulletin of the Section of Logic. Roč. 42, 3-4 (2013), s. 111-118. ISSN 0138-0680
R&D Projects: GA ČR GAP202/10/1826; GA ČR GD401/09/H007
Institutional support: RVO:67985807
Keywords : logic * proof theory * condensed detachment * prelinearity
Subject RIV: BA - General Mathematics
http://www.filozof.uni.lodz.pl/bulletin/pdf/42_34_2.pdf
Permanent Link: http://hdl.handle.net/11104/0227351 - 2.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 - 3.0351043 - FLÚ 2011 RIV CZ cze J - Journal Article
Janoušek, Hynek
Pojednání v Humově reflexi.
[Treatise in Hume's Reflection.]
Reflexe : Filosofický časopis. -, č. 38 (2010), s. 91-97. ISSN 0862-6901
R&D Projects: GA ČR(CZ) GD401/09/H007
Institutional research plan: CEZ:AV0Z90090514
Keywords : Hume * concept of belief
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0190879 - 4.0351042 - FLÚ 2011 RIV CZ ger J - Journal Article
Janoušek, Hynek
Sinn und Wahrheit in den "Logischen Untersuchungen".
[Meaning and Truth in "Logical Investigations".]
Filosofický časopis. Roč. 58, č. 7 (2010), s. 51-57. ISSN 0015-1831
R&D Projects: GA ČR(CZ) GD401/09/H007
Institutional research plan: CEZ:AV0Z90090514
Keywords : meaning * thruth
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0190878 - 5.0329080 - ÚI 2011 RIV CZ eng J - Journal Article
Petrík, Milan - Sarkoci, P.
Zero-reconstructible Triangular Norms as Universal Approximators.
Neural Network World. Roč. 20, č. 1 (2010), s. 63-67. ISSN 1210-0552
R&D Projects: GA ČR GD401/09/H007
Institutional research plan: CEZ:AV0Z10300504
Keywords : zero-reconstructible strict triangular norm * approximation * multiplicative generator * reconstruction
Subject RIV: BA - General Mathematics
Impact factor: 0.511, year: 2010
Permanent Link: http://hdl.handle.net/11104/0005437File Download Size Commentary Version Access 0329080.pdf 1 211.2 KB Publisher’s postprint open-access