Search results
- 1.0522192 - ÚI 2021 RIV NL eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : many-valued logic * graded preference * modal logic * vague information modeling
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 3.343, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.fss.2020.01.002
Permanent Link: http://hdl.handle.net/11104/0306692 - 2.0511512 - ÚI 2020 RIV SG eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
OECD category: Pure mathematics
Impact factor: 1.375, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1142/S0218488519400051
Permanent Link: http://hdl.handle.net/11104/0301759 - 3.0461966 - ÚI 2017 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GF15-34650L; GA ČR GA13-14654S
Institutional support: RVO:67985807
Keywords : coalgebra * coalgebraic logic * predicate lifting * modal logic * many-valued logic * expressivity * bisimulation * Hennessy-Milner property
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261503File Download Size Commentary Version Access a0461966.pdf 9 271.9 KB Publisher’s postprint require - 4.0425733 - ÚI 2014 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP202/10/1826
Grant - others:SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
Institutional support: RVO:67985807
Keywords : coalgebra * coalgebraic logic * relation lifting * many-valued logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0231547File Download Size Commentary Version Access a0425733.pdf 1 271.5 KB Publisher’s postprint require - 5.0411462 - UTIA-B 20050192 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GA402/04/1026
Institutional research plan: CEZ:AV0Z10750506
Keywords : many-valued logic * sufficient t-norm * involution negation * admisible function * t-norm based tribe
Subject RIV: BA - General Mathematics
Impact factor: 0.523, year: 2003
Permanent Link: http://hdl.handle.net/11104/0131543 - 6.0405335 - UIVT-O 330707 SK eng A - Abstract
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]
R&D Projects: GA ČR GA201/02/1540
Grant - others:GA CTU(CZ) CTU0208613; Net CEEPUS(CZ) SK-042
Institutional research plan: CEZ:AV0Z1030915
Keywords : fuzzy logic * many-valued logic * Lu logic * LPi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125508 - 7.0405128 - UIVT-O 20030093 CZ eng K - Conference Paper (Czech conference)
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]
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125330File Download Size Commentary Version Access 0405128.pdf 1 519.4 KB Publisher’s postprint open-access - 8.0405046 - UIVT-O 20030187 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant - others:GA CTU(CZ) project 0208613; Net CEEPKUS(XX) SK-042
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125266File Download Size Commentary Version Access 0405046.pdf 0 769.1 KB Author´s preprint open-access - 9.0404839 - UIVT-O 20020209 RIV DE eng C - Conference Paper (international conference)
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 - others:VEGA(SK) 1/7557/20
Institutional research plan: AV0Z1030915
Keywords : many valued logic programming * procedural semantics * completeness theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125069 - 10.0404644 - UIVT-O 20020050 RIV FR eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Institutional research plan: AV0Z1030915
Keywords : many-valued logic * fuzzy logic * triangular norm * satisfiability * compactness of a logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124885File Download Size Commentary Version Access 0404644.pdf 2 608.4 KB Author´s preprint open-access