Výsledky vyhledávání
- 1.0522192 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
Vidal, Amanda - Esteva, F. - Godo, L.
Axiomatizing logics of fuzzy preferences using graded modalities.
Fuzzy Sets and Systems. Roč. 401, 15 December 2020 (2020), s. 163-188. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: many-valued logic * graded preference * modal logic * vague information modeling
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 3.343, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.fss.2020.01.002
Trvalý link: http://hdl.handle.net/11104/0306692 - 2.0511512 - ÚI 2020 RIV SG eng J - Článek v odborném periodiku
Dellunde, P. - Vidal, Amanda
Truth-Preservation under Fuzzy pp-Formulas.
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems. Roč. 27, Suppl. 1 (2019), s. 89-105. ISSN 0218-4885. E-ISSN 1793-6411
Grant CEP: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
Obor OECD: Pure mathematics
Impakt faktor: 1.375, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1142/S0218488519400051
Trvalý link: http://hdl.handle.net/11104/0301759 - 3.0461966 - ÚI 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Dostál, Matěj
Expressivity of Many-Valued Modal Logics, Coalgebraically.
Logic, Language, Information, and Computation. Berlin: Springer, 2016 - (Väänänen, J.; Hirvonen, A.; de Queiroz, R.), s. 109-124. Lecture Notes in Computer Science, 9803. ISBN 978-3-662-52920-1. ISSN 0302-9743.
[WoLLIC 2016. International Workshop /23./. Puebla (MX), 16.08.2016-19.08.2016]
Grant CEP: GA ČR(CZ) GF15-34650L; GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebra * coalgebraic logic * predicate lifting * modal logic * many-valued logic * expressivity * bisimulation * Hennessy-Milner property
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261503Název souboru Staženo Velikost Komentář Verze Přístup a0461966.pdf 9 271.9 KB Vydavatelský postprint vyžádat - 4.0425733 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Dostál, M.
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic.
Algebra and Coalgebra in Computer Science. Berlin: Springer, 2013 - (Heckel, R.; Milius, S.), s. 66-79. Lecture Notes in Computer Science, 8089. ISBN 978-3-642-40205-0. ISSN 0302-9743.
[CALCO 2013. International Conference /5./. Warsaw (PL), 03.09.2013-06.09.2013]
Grant CEP: GA ČR GAP202/10/1826
Grant ostatní: SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebra * coalgebraic logic * relation lifting * many-valued logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0231547Název souboru Staženo Velikost Komentář Verze Přístup a0425733.pdf 1 271.5 KB Vydavatelský postprint vyžádat - 5.0411462 - UTIA-B 20050192 RIV DE eng J - Článek v odborném periodiku
Butnariu, D. - Klement, E.P. - Mesiar, Radko - Navara, M.
Sufficient triangular norms in many-valued logics with standard negation.
[Postačující triangulární normy v mnohahodnotových logikách se standardní negací.]
Archive for Mathematical Logic. Roč. 14, č. 44 (2005), s. 829-849. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA402/04/1026
Výzkumný záměr: CEZ:AV0Z10750506
Klíčová slova: many-valued logic * sufficient t-norm * involution negation * admisible function * t-norm based tribe
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.523, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0131543 - 6.0405335 - UIVT-O 330707 SK eng A - Abstrakt
Cintula, Petr - Horčík, Rostislav
Logics between Lukasiewicz and LPi.
International Conference in Applied Mathematics for Undergraduate and Graduate Students. Bratislava: Slovak University of Technology, 2003. s. 7-8.
[ISCAM 2003. 11.04.2003-12.04.2003, Bratislava]
Grant CEP: GA ČR GA201/02/1540
Grant ostatní: GA CTU(CZ) CTU0208613; Net CEEPUS(CZ) SK-042
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy logic * many-valued logic * Lu logic * LPi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125508 - 7.0405128 - UIVT-O 20030093 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Cintula, Petr - Horčík, Rostislav
Product Lukasiewicz Logic - An Overwiev.
Doktorandský den '03. Praha: MATFYZPRESS, 2003 - (Hakl, F.), s. 21-23. ISBN 80-86732-16-9.
[Doktorandský den '03. Paseky nad Jizerou (CZ), 25.09.2003-26.09.2003]
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125330Název souboru Staženo Velikost Komentář Verze Přístup 0405128.pdf 1 519.4 KB Vydavatelský postprint povolen - 8.0405046 - UIVT-O 20030187 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, R. - Cintula, Petr
Extension of Lukasiewicz Logic by Product Connective.
Fuzzy Sets and Systems - IFSA 2003. Berlin: SpringerVerlag, 2003 - (Bilgic, T.; De Baets, B.; Kaynak, O.), s. 180-188. Lecture Notes in Artificial Intelligence, 2715. ISBN 3-540-40383-3. ISSN 0302-9743.
[IFSA 2003. International Fuzzy Systems Association World Congress /10./. Istanbul (TR), 30.06.2003-02.07.2003]
Grant CEP: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant ostatní: GA CTU(CZ) project 0208613; Net CEEPKUS(XX) SK-042
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125266Název souboru Staženo Velikost Komentář Verze Přístup 0405046.pdf 0 769.1 KB Autorský preprint povolen - 9.0404839 - UIVT-O 20020209 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Medina, J. - Ojeda-Aciego, M. - Vojtáš, Peter
A Procedural Semantics for Multi-adjoint logic Programming.
Progress in Artificial Intelligence. Knowledge Extraction, multi-agent Systems, Logic Programming and Constraint Solving. Berlin: Springer, 2001 - (Brazdil, P.; Jorge, A.), s. 290-297. Lecture Notes in Artificial Intelligence, 2258. ISBN 3-540-43030-X.
[EPIA 2001. Portuguese Conference on Artificial Intelligence /6./. Porto (PT), 17.12.2001-20.12.2001]
Grant ostatní: VEGA(SK) 1/7557/20
Výzkumný záměr: AV0Z1030915
Klíčová slova: many valued logic programming * procedural semantics * completeness theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125069 - 10.0404644 - UIVT-O 20020050 RIV FR eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Navara, M.
Which Fuzzy Logic Satisfy the Compactness Problem?
Information Processing and Management Uncertainty in Knowledge-based Systems. Savoie: ESIA, 2002, s. 405-409. ISBN 2-9516453-1-7.
[IPMU '2002 /9./. Annecy (FR), 01.07.2002-05.07.2002]
Grant CEP: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Výzkumný záměr: AV0Z1030915
Klíčová slova: many-valued logic * fuzzy logic * triangular norm * satisfiability * compactness of a logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124885Název souboru Staženo Velikost Komentář Verze Přístup 0404644.pdf 2 608.4 KB Autorský preprint povolen