Výsledky vyhledávání
- 1.0560680 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Metcalfe, G. - Tokuda, N.
Algebraic Semantics for One-Variable Lattice-Valued Logics.
Advances in Modal Logic. Volume 14. London: College Publications, 2022 - (Fernández-Duque, D.; Palmigiano, A.; Pinchinat, S.), s. 237-257. ISBN 978-1-84890-413-2.
[AIML 2022: Advances in Modal Logic. Rennes (FR), 22.08.2022-25.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Modal Logic * Substructural Logics * Lattice-Valued Logics * One-Variable Fragment * Superamalgamation * Sequent Calculus * Interpolation
Obor OECD: Pure mathematics
http://www.collegepublications.co.uk/aiml/?00011
Trvalý link: https://hdl.handle.net/11104/0333542 - 2.0508606 - ÚI 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
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ý link: http://hdl.handle.net/11104/0299464Název souboru Staženo Velikost Komentář Verze Přístup 0508606-aoa.pdf 6 2.5 MB OpenAccess Vydavatelský postprint povolen - 3.0491981 - ÚI 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
Grant ostatní: AV ČR(CZ) JSPS-16-08
Program: 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
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Trvalý link: http://hdl.handle.net/11104/0285566Název souboru Staženo Velikost Komentář Verze Přístup a0491981prep.pdf 4 388.6 KB Autorský postprint povolen a0491981.pdf 9 319.1 KB Vydavatelský postprint vyžádat - 4.0477854 - ÚI 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
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Trvalý link: http://hdl.handle.net/11104/0274074Název souboru Staženo Velikost Komentář Verze Přístup a0477854.pdf 2 213.8 KB Vydavatelský postprint vyžádat - 5.0460686 - ÚI 2017 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles - Roger, J.
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Vol. 2. Cham: Springer, 2016 - (Carvalho, J.; Lesot, M.; Kaymak, U.; Vieira, S.; Bouchon-Meunier, B.; Yager, R.), s. 95-107. Communications in Computer and Information Science, 611. ISBN 978-3-319-40581-0. ISSN 1865-0929. E-ISSN 1865-0937.
[IPMU 2016 /16./. Eindhoven (NL), 20.06.2016-24.06.2016]
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0260702Název souboru Staženo Velikost Komentář Verze Přístup 0460686.pdf 1 1.2 MB Autorský preprint povolen a0460686.pdf 2 218.9 KB Vydavatelský postprint vyžádat - 6.0448462 - ÚI 2016 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization for Substructural Logics.
Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2015 - (Davis, M.; Fehnker, A.; McIver, A.; Voronkov, A.), s. 1-15. Lecture Notes in Computer Science, 9450. ISBN 978-3-662-48898-0. ISSN 0302-9743.
[LPAR-20. International Conference /20./. Suva (JP), 24.11.2015-28.11.2015]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * first-order logic * Skolemization * witnessed model property
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0250157Název souboru Staženo Velikost Komentář Verze Přístup a0448462.pdf 1 310.3 KB Vydavatelský postprint vyžádat 0448462.pdf 15 835.7 KB GSp Autorský preprint povolen - 7.0431413 - ÚI 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
Logic, Language, Information, and Computation. Heidelberg: Springer, 2014 - (Kohlenbach, U.; Barceló, P.; de Queiroz, R.), s. 124-136. Lecture Notes in Computer Science, 8652. ISBN 978-3-662-44144-2. ISSN 0302-9743.
[WoLLIC 2014. International Conference /21./. Valparaíso (CL), 01.09.2014-04.09.2014]
Grant CEP: GA ČR GAP202/10/1826
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Kód oboru RIV: BA - Obecná matematika; BB - Aplikovaná statistika, operační výzkum (UTIA-B)
Trvalý link: http://hdl.handle.net/11104/0235975Název souboru Staženo Velikost Komentář Verze Přístup 0431413.pdf 8 880.5 KB Autorský preprint povolen a0431413.pdf 2 282.6 KB Vydavatelský postprint vyžádat - 8.0422069 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Metcalfe, G.
Herbrand Theorems for Substructural Logics.
Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2013 - (McMillan, K.; Middeldorp, A.; Voronkov, A.), s. 584-600. Lecture Notes in Computer Science, Advanced Research in Computing and Software Science, 8312. ISBN 978-3-642-45221-5. ISSN 0302-9743.
[LPAR-19. International Conference /19./. Stellenbosch (ZA), 14.12.2013-19.12.2013]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0228284Název souboru Staženo Velikost Komentář Verze Přístup a0422069.pdf 0 292.6 KB Vydavatelský postprint vyžádat 0422069.pdf 7 795.9 KB Autorský preprint povolen - 9.0405563 - UIVT-O 330943 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr
Basics of a Formal Theory of Fuzzy Partions.
[Základy formální teorie fuzzy rozkladů.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 884-888. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy partitions * fuzzy relations * higher-order fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125718Název souboru Staženo Velikost Komentář Verze Přístup 0405563.pdf 0 589.1 KB Autorský preprint povolen - 10.0405533 - UIVT-O 330911 RIV CN eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
Fuzzy Class Theory as Foundations for Fuzzy Mathematics.
[Teorie fuzzy tříd jakožto základy fuzzy matematiky.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1233-1238. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
Grant CEP: GA MŠMT OC 274.001; GA AV ČR KJB100300502
Grant ostatní: COST(EU) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: axiomatic fuzzy set theory * fuzzy logic LPi * fuzzy mathematics * proof methods in fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125691Název souboru Staženo Velikost Komentář Verze Přístup 0405533.pdf 0 570.5 KB Autorský preprint povolen