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.0338517 - ÚI 2010 SK eng A - Abstract
Chvalovský, Karel
Independence of Axioms in Non-classical Logics and Automated Theorem proving.
Tenth International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Armed Forces Academy of General Milan Rastislav Štefánik, 2010 - (Klement, P.; Mesiar, R.; Struk, P.; Drobná, E.). s. 45-45. ISBN 978-80-8040-391-1.
[FSTA 2010 /10./. 01.02.2010-05.02.2010, Liptovský Ján]
R&D Projects: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Institutional research plan: CEZ:AV0Z10300504
Keywords : Hilbert-style proof systems * independence of axioms * logic BL * logic MTL * automated theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0182267 - 3.0328397 - ÚI 2010 DE eng A - Abstract
Chvalovský, Karel
Independence of Axioms in Non-Classical Logics and ATP.
Mathematical Theory and Computational Practice. Abstract Booklet. Heidelberg: University of Heidelberg, 2009 - (Ambos-Spies, K.; Löwe, B.; Merkle, W.). s. 324-324
[CiE 2009. Conference on Computability in Europe /5./. 19.07.2009-24.07.2009, Heidelberg]
Institutional research plan: CEZ:AV0Z10300504
Keywords : Hilbert-style proof systems * independence of axioms * non-classical logics * automated theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174722