Ústav informatiky AV ČR, v. v. i.

Výsledky projektu GA17-04630S


Nalezeno záznamů: 17

0508606 - UIVT-O 2020 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Baldi, Paolo - Cintula, Petr - Noguera, Carles
Translating Classical Probability Logics into Modal Fuzzy Logics.
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Amsterdam: Atlantis Press, 2019 - (Štěpnička, M.), s. 342-349. Atlantis Studies in Uncertainty Modelling. ISBN 978-94-6252-770-6. ISSN 2589-6644.
[EUSFLAT 2019. Conference of the European Society for Fuzzy Logic and Technology /11./. Praha (CZ), 09.09.2019-13.09.2019]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Mathematical Fuzzy Logic * Logics of uncertainty * Lukasiewicz logic * Probability logics * Two-layered modal logics
Kód oboru RIV: IN - Informatika; BA - Obecná matematika (UTIA-B)
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
https://download.atlantis-press.com/article/125914819.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299464

0508245 - UIVT-O 2020 CH eng A - Abstrakt
Baldi, Paolo - Cintula, Petr - Noguera, Carles
Translating logics of uncertainty into two-layered modal fuzzy logics.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 6-10.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299210

0478590 - UIVT-O 2018 RIV US eng J - Článek v odborném periodiku
Bezhanishvili, G. - Moraschini, Tommaso - Raftery, J.G.
Epimorphisms in Varieties of Residuated Structures.
Journal of Algebra. Roč. 492, 15 December (2017), s. 185-211. ISSN 0021-8693
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Brouwerian algebra * Heyting algebra * Esakia space * Residuated lattice * Sugihara monoid * Substructural logic * Intuitionistic logic * Relevance logic * R-mingle * Beth definability
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.675, rok: 2017
Trvalý odkaz: http://hdl.handle.net/11104/0274669

Citace, recenze

Citace:
CAMPERCHOLI, M. DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2018, vol. 83, no. 1, p. 40-54.

0491981 - UIVT-O 2019 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Cintula, Petr - Lávička, Tomáš
Lindenbaum and Pair Extension Lemma in Infinitary Logics.
Logic, Language, Information and Computation. Berlin: Springer, 2018 - (Moss, L.; de Queiroz, R.; Martinez, M.), s. 130-144. Lecture Notes on Computer Science, 10944. ISBN 978-3-662-57668-7. ISSN 0302-9743.
[WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./. Bogotá (CO), 24.07.2018-27.07.2018]
Grant CEP: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
AV ČR(CZ) JSPS-16-08
Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UTIA-B)
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Cintula, Petr
Trvalý odkaz: http://hdl.handle.net/11104/0285566

0505107 - UIVT-O 2020 NL eng J - Článek v odborném periodiku
Bílková, Marta - Colacito, A.
Proof Theory for Positive Logic with Weak Negation.
Studia Logica. first online 24 July 2019 (2019). ISSN 0039-3215
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Minimal propositional logic * Weak negation * Intuitionistic propositional logic * Sequent calculus * Terminating sequent calculus * Decidability * Complexity
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.467, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0296624

0491990 - UIVT-O 2020 RIV DE eng J - Článek v odborném periodiku
Bofill, M. - Manya, F. - Vidal, Amanda - Villaret, M.
New Complexity Results for Lukasiewicz Logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2187-2197. ISSN 1432-7643
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Lukasiewicz logics * Clausal forms * Complexity * Instance generator
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.784, rok: 2018
Manya, F.
Trvalý odkaz: http://hdl.handle.net/11104/0285586

0477854 - UIVT-O 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles - Smith, N.J.J.
A Logical Framework for Graded Predicates.
Logic, Rationality, and Interaction. Berlin: Springer, 2017 - (Baltag, A.; Yamada, T.; Seligman, J.), s. 3-16. Lecture Notes in Computer Science, 10455. ISBN 978-3-662-55664-1. ISSN 0302-9743.
[LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./. Sapporo (JP), 11.09.2017-14.09.2017]
Grant CEP: GA ČR GA17-04630S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: graded predicates * vagueness * mathematical fuzzy logic
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UTIA-B)
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Cintula, Petr
Trvalý odkaz: http://hdl.handle.net/11104/0274074

0508274 - UIVT-O 2020 CH eng A - Abstrakt
Cintula, Petr - Menchón, P. - Noguera, Carles
General Neighborhood and Kripke Semantics for Modal Many-Valued Logics.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 31-34.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Trvalý odkaz: http://hdl.handle.net/11104/0299230

0491823 - UIVT-O 2020 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 8.759, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0285439

0508275 - UIVT-O 2020 CH eng A - Abstrakt
Cintula, Petr - Diaconescu, D.
Omitting Types Theorem in Mathematical Fuzzy Logic.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 55-57.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0299231

0491819 - UIVT-O 2020 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Menchón, P. - Noguera, Carles
Toward a general frame semantics for modal many-valued logics.
Soft Computing. Roč. 23, č. 7 (2019), s. 2233-2241. ISSN 1432-7643
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Modal many-valued logics * Mathematical fuzzy logic * Neighborhood frames * Kripke semantics * General frames
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impakt faktor: 2.784, rok: 2018
Noguera, Carles
Trvalý odkaz: http://hdl.handle.net/11104/0285436

0505986 - UIVT-O 2020 US eng V - Výzkumná zpráva
Dellunde, P. - Vidal, Amanda
Truth-preservation under fuzzy pp-formulas.
Cornell University, 2019. arXiv.org e-Print archive, arXiv:1902.04817 [math.LO].
Grant CEP: GA MŠk(CZ) EF17_050/0008361; GA ČR GA17-04630S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
https://arxiv.org/abs/1902.04817
Trvalý odkaz: http://hdl.handle.net/11104/0297303

0511512 - UIVT-O 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
Grant CEP: GA ČR GA17-04630S; GA MŠk(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
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 1.286, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0301759

0504823 - UIVT-O 2020 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Esteva, F. - Godo, L. - Vidal, Amanda
On a Graded Modal Logic Approach to Reason with Fuzzy Preferences.
Recent Advances in Artificial Intelligence Research and Development. Amsterdam: IOS Press, 2017 - (Aguiló, I.; Alquézar, R.; Angulo, C.; Ortiz, A.; Torrens, J.), s. 86-95. Frontiers in Artificial Intelligence and Applications, 300. ISBN 978-1-61499-806-8.
[CCIA 2017. International Conference of the Catalan Association for Artificial Intelligence /20./. Deltebre (ES), 25.10.2017-27.10.2017]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: preference structures * fuzzy preorder * strict fuzzy order * preference two-tiered modal logic
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0296382

0478446 - UIVT-O 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav - Moraschini, Tommaso - Vidal, Amanda
An Algebraic Approach to Valued Constraint Satisfaction.
26th EACSL Annual Conference on Computer Science Logic. Dagstuhl: Leibniz-Zentrum fuer Informatik, 2017 - (Goranko, V.; Dam, M.). Leibniz International Proceedings in Informatics, 82. ISBN 978-3-95977-045-3. ISSN 1868-8969.
[CSL 2017. EACSL Annual Conference on Computer Science Logic /26./. Stockholm (SE), 20.08.2017-24.08.2017]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: valued CSP * polymorphism * pp-definability * Geiger’s Theorem
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/volltexte/2017/7676/
Trvalý odkaz: http://hdl.handle.net/11104/0274563

Citace, recenze

Citace:
BADIA, G. - NOGUERA, C. Fraisse classes of graded relational structures. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, AUG 15 2018, vol. 737, p. 81-90.

0491283 - UIVT-O 2019 RIV GB eng J - Článek v odborném periodiku
Moraschini, Tommaso
A Study of Truth Predicates in Matrix Semantics.
Review of Symbolic Logic. Roč. 11, č. 4 (2018), s. 780-804. ISSN 1755-0203
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * truth predicate * equational definability * truth-equational logic * protoalgebraic logic * Leibniz hierarchy * Leibniz operator * implicit definability * matrix semantics * algebraic semantics * propositional logic * protodisjunction * protoconjunction
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 0.731, rok: 2018
Moraschini, Tommaso
Trvalý odkaz: http://hdl.handle.net/11104/0285293

0503853 - UIVT-O 2020 NL eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms, Definability and Cardinalities.
Studia Logica. Online 07 February (2019). ISSN 0039-3215
Grant CEP: GA ČR GA17-04630S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Prevariety * Quasivariety * Beth definability * Algebraizable logic * Equivalential logic
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 0.467, rok: 2018
Raftery, J.G.
Trvalý odkaz: http://hdl.handle.net/11104/0295628