Search results
- 1.0491823 - ÚI 2020 RIV US eng J - Journal Article
Cintula, Petr - Diaconescu, D.
Omitting Types Theorem for Fuzzy Logics.
IEEE Transactions on Fuzzy Systems. Roč. 27, č. 2 (2019), s. 273-277. ISSN 1063-6706. E-ISSN 1941-0034
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 9.518, year: 2019
Method of publishing: Open access
Permanent Link: http://hdl.handle.net/11104/0285439File Download Size Commentary Version Access 08410791-aoa.pdf 7 187.1 KB OpenAccess Publisher’s postprint open-access a0491823prep.pdf 3 265.7 KB Author´s preprint require - 2.0478213 - ÚI 2018 FR eng C - Conference Paper (international conference)
Vidal, Amanda - Godo, L. - Esteva, F.
On strongly standard complete fuzzy logics: MTL*Q and its expansions.
Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology. Paris: Atlantis Press, 2015 - (Alonso, J.; Bustince, H.; Reformat, M.), s. 828-835. Advances in Intelligent Systems Research, 89. ISBN 978-1-5108-0807-2.
[IFSA - EUSFLAT 2015. World Congress of the International Fuzzy Systems Association /16./, Conference of the European Society for Fuzzy Logic and Technology /9./. Gijón (ES), 30.06.2015-03.07.2015]
Keywords : Fuzzy logics * Strong standard completeness * MTL logic expansions * rational expansions * Pavelka-style completeness * Infinitary logics
Permanent Link: http://hdl.handle.net/11104/0274752File Download Size Commentary Version Access a0478213.pdf 0 1.4 MB Publisher’s postprint require - 3.0436177 - ÚI 2016 RIV NL eng J - Journal Article
Cintula, Petr
A Note on Axiomatizations of Pavelka-style Complete Fuzzy Logics.
Fuzzy Sets and Systems. Roč. 292, 1 June (2016), s. 160-174. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * Pavelka-style completeness * MTL logic * Lukasiewicz logics * Product Logic * truth constants * Monteiro–Baaz delta
OECD category: Pure mathematics
Impact factor: 2.718, year: 2016
Permanent Link: http://hdl.handle.net/11104/0239961File Download Size Commentary Version Access 0436177.pdf 6 664.8 KB Author´s preprint require - 4.0405568 - UIVT-O 330948 RIV CZ eng C - Conference Paper (international conference)
Horčík, Rostislav
On the Failure of Strong Standard Completness in PiMTL.
[O neplatnosti věty o silné standardní úplnosti logiky PiMTL.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.), s. 19-21
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. Ostrava (CZ), 05.10.2005-07.10.2005]
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : strong standard completeness * monoidal t-norm logic * MTL-algebra
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125722 - 5.0405485 - UIVT-O 330862 ES eng A - Abstract
Horčík, Rostislav - Cintula, Petr - Montagna, F.
Archimedean Completeness and Subvarieties of PiMTL-Algebras.
Algebraic and Topological Methods in Non-Classical Logics. Barcelona: Universitat de Barcelona, 2005. s. 40-41.
[Algebraic and Topological Methods in Non-Classical Logics /2./. 15.06.2005-18.06.2005, Barcelona]
Institutional research plan: CEZ:AV0Z10300504
Keywords : Archimedean completeness * MTL-algebra * residuated lattice * monoidal t-norm logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125647 - 6.0405310 - UIVT-O 330679 RIV DE eng J - Journal Article
Cintula, Petr
Short Note: On the Redundancy of Axiom (A3) in BL and MTL.
[Poznámka: o redundanci axiomu (A3) v BL a MTL.]
Soft Computing. Roč. 9, - (2005), s. 942-942. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: CEZ:AV0Z10300504
Keywords : axiomatic system * redundacy * MTL logic * basic logic
Subject RIV: BA - General Mathematics
Impact factor: 0.538, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125483File Download Size Commentary Version Access 0405310.pdf 6 581.6 KB Author´s preprint open-access - 7.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 - 8.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 - 9.0328861 - ÚI 2010 CZ eng K - Conference Paper (Czech conference)
Chvalovský, Karel
Syntactic Approach to Fuzzy Modal Logic in MTL.
Doktorandské dny '09. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009 - (Kuželová, D.), s. 35-43. ISBN 978-80-7378-087-6.
[Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 21.09.2009-23.09.2009]
R&D Projects: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant - others:GA UK project 73109/2009
Institutional research plan: CEZ:AV0Z10300504
Keywords : modal logics * logic MTL * syntactic derivations * automated theorem proving
Permanent Link: http://hdl.handle.net/11104/0175061File Download Size Commentary Version Access 0328861.pdf 17 102.1 KB Publisher’s postprint open-access - 10.0328426 - ÚI 2010 DE eng J - Journal Article
Horčík, Rostislav - Montagna, F.
Archimedean Classes in Integral Commutative Residuated Chains.
[Archimedovské třídy v integrálních komutativních reziduovaných řetězcích.]
Mathematical Logic Quarterly. Roč. 55, č. 3 (2009), s. 320-336. ISSN 0942-5616. E-ISSN 1521-3870
Institutional research plan: CEZ:AV0Z10300504
Keywords : residuated lattice * representable residuated lattice * MTL-algebra * DMTL-algebra * Wajsberg hoop * Archimedean class * the lattice of subvarieties * t-norm based fuzzy logic
Subject RIV: BA - General Mathematics
Impact factor: 0.523, year: 2009
Permanent Link: http://hdl.handle.net/11104/0174742