Výsledky vyhledávání
- 1.0478213 - ÚI 2018 FR eng C - Konferenční příspěvek (zahraniční konf.)
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]
Klíčová slova: Fuzzy logics * Strong standard completeness * MTL logic expansions * rational expansions * Pavelka-style completeness * Infinitary logics
Trvalý link: http://hdl.handle.net/11104/0274752Název souboru Staženo Velikost Komentář Verze Přístup a0478213.pdf 0 1.4 MB Vydavatelský postprint vyžádat - 2.0478211 - ÚI 2018 GB eng J - Článek v odborném periodiku
Vidal, Amanda - Esteva, F. - Godo, L.
On modal extensions of Product fuzzy logic.
Journal of Logic and Computation. Roč. 27, č. 1 (2017), s. 299-336. ISSN 0955-792X. E-ISSN 1465-363X
Klíčová slova: involutive negation * possibilistic logic * truth * Product fuzzy logic * modal fuzzy logics * strong standard completeness * rational truth-constants * infinitary rule
Impakt faktor: 0.740, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0274747 - 3.0469148 - ÚTIA 2017 US eng J - Článek v odborném periodiku
Esteva, F. - Godo, L. - Noguera, Carles
A logical approach to fuzzy truth hedges.
Information Sciences. Roč. 232, č. 1 (2013), s. 366-385. ISSN 0020-0255. E-ISSN 1872-6291
Institucionální podpora: RVO:67985556
Klíčová slova: Mathematical fuzzy logic * Standard completeness * Truth hedges
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 3.893, rok: 2013
http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469148.pdf
Trvalý link: http://hdl.handle.net/11104/0269419 - 4.0466763 - ÚI 2017 RIV DE eng J - Článek v odborném periodiku
Vidal, Amanda - Bou, F. - Esteva, F. - Godo, L.
On Strong Standard Completeness in Some MTL-Delta Expansions.
Soft Computing. Roč. 21, č. 1 (2017), s. 125-147. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * left-continuous t-norms * monoidal t-norm logic * infinitary rules * standard completeness
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.367, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0264998 - 5.0460115 - ÚI 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Baldi, Paolo - Ciabattoni, A.
Standard Completeness for Uninorm-Based Logics.
ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic. Los Alamitos: IEEE Computer Society, 2015, s. 78-83. ISBN 978-147991777-8. ISSN 2378-2226.
[ISMVL 2015. IEEE International Symposium on Multiple-Valued Logic /45./. Waterloo (CA), 18.05.2015-20.05.2015]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: density elimination * standard completeness * uninorm logic * hypersequent
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0260250Název souboru Staženo Velikost Komentář Verze Přístup a0460115.pdf 4 267.6 KB Vydavatelský postprint vyžádat - 6.0438994 - ÚI 2017 RIV CH eng J - Článek v odborném periodiku
Baldi, Paolo - Terui, K.
Densification of FL Chains via Residuated Frames.
Algebra Universalis. Roč. 75, č. 2 (2016), s. 169-195. ISSN 0002-5240. E-ISSN 1420-8911
Grant CEP: GA ČR GAP202/10/1826
Klíčová slova: densifiability * standard completeness * residuated lattices * residuated frames * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.625, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0242323Název souboru Staženo Velikost Komentář Verze Přístup 0438994.pdf 1 788.1 KB Autorský preprint vyžádat - 7.0432930 - ÚI 2015 RIV CH eng M - Část monografie knihy
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The Quest for the Basic Fuzzy Logic.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 245-290. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
Grant CEP: GA ČR GAP202/10/1826; GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Grant ostatní: MICINN project TASSAT(XE) TIN2010-20967-C04-01
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * basic fuzzy logic * T-norm * core fuzzy logics * core semilinear logics * non-associative substructural logics * standard completeness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0237239Název souboru Staženo Velikost Komentář Verze Přístup 0432930.pdf 3 567.9 KB Autorský preprint vyžádat - 8.0422077 - ÚI 2014 ZA eng A - Abstrakt
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The quest for the basic fuzzy logic.
Proceedings of the International Workshop on Algebraic Logic in Computer Science. Stellenbosch: University of Stellenbosch, 2013. s. 1-4.
[International Workshop on Algebraic Logic in Computer Science. 14.12.2013, Stellenbosch]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: nonassociative full Lambek calculus * mathematical fuzzy logic * standard completeness * core semilinear logics
Kód oboru RIV: BA - Obecná matematika
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Cintula-Horcik-Noguera.pdf
Trvalý link: http://hdl.handle.net/11104/0228293Název souboru Staženo Velikost Komentář Verze Přístup 0422077.pdf 0 79 KB Jiná povolen - 9.0405568 - UIVT-O 330948 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: strong standard completeness * monoidal t-norm logic * MTL-algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125722 - 10.0395361 - ÚI 2014 RIV GB eng J - Článek v odborném periodiku
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties.
Review of Symbolic Logic. Roč. 6, č. 3 (2013), s. 394-423. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: ESF/Austrian Science Foundation project(AT) I143-G15
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: nonassociative full Lambek calculus * deduction theorem * standard completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.525, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0223397Název souboru Staženo Velikost Komentář Verze Přístup 0395361.pdf 18 819.2 KB Autorský preprint povolen