Petr Cintula

  1. Cintula Petr, Noguera Carles :  Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics, Springer, (Cham 2021) [2021] Download DOI: 10.1007/978-3-030-85675-5
  2. Cintula Petr, Fermüller C., Noguera Carles :  Handbook of Mathematical Fuzzy Logic - Vol. 3, College Publications, (London 2015) Studies in Logic - Mathematical Logic and Foundations vol.58 [2015] Download
  3. Cintula Petr, Noguera Carles, Lávička T. :  Slabě implikativní logiky. Úvod do abstraktního studia výrokových logik, Univerzita Karlova, Filozofická fakulta, (Praha 2015) [2015]
  4. Cintula Petr, Horčík Rostislav, Noguera Carles :  The Quest for the Basic Fuzzy Logic , Petr Hájek on Mathematical Fuzzy Logic, p. 245-290 , Eds: Montagna F. [2015] DOI: 10.1007/978-3-319-06233-4_12

  1. Cintula Petr, Grimau Berta, Noguera C., Smith N.J.J. :  These degrees go to eleven: fuzzy logics and gradable predicates , Synthese vol.200, 445 [2022] Download DOI: 10.1007/s11229-022-03909-2
  2. Baldi P., Cintula Petr, Noguera Carles :  Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory , International Journal of Computational Intelligence Systems vol.13, 1 (2020), p. 988-1001 [2020] Download DOI: 10.2991/ijcis.d.200703.001
  3. Cintula Petr, Menchón P., Noguera Carles :  Toward a general frame semantics for modal many-valued logics , Soft Computing vol.23, 7 (2019), p. 2233-2241 [2019] Download DOI: 10.1007/s00500-018-3369-5
  4. Cintula Petr, Noguera Carles :  Neighborhood semantics for modal many-valued logics , Fuzzy Sets and Systems vol.345, p. 99-112 [2018] DOI: 10.1016/j.fss.2017.10.009
  5. Cintula Petr, Noguera Carles :  Implicational (semilinear) logics III: completeness properties , Archive for Mathematical Logic vol.57, p. 391-420 [2018] DOI: 10.1007/s00153-017-0577-0
  6. Běhounek Libor, Cintula Petr, Fermüller C., Kroupa Tomáš :  Representing Strategic Games and Their Equilibria in Many-Valued Logics , Logic Journal of the IGPL vol.24, 3 (2016), p. 238-267 [2016] DOI: 10.1093/jigpal/jzw004
  7. Cintula Petr, Noguera Carles :  Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity , Archive for Mathematical Logic vol.55, 3 (2016), p. 353-372 [2016] DOI: 10.1007/s00153-015-0452-9
  8. Cintula Petr, Noguera Carles :  A Note on Natural Extensions in Abstract Algebraic Logic , Studia Logica vol.103, 4 (2015), p. 815-823 [2015] DOI: 10.1007/s11225-014-9594-8
  9. Cintula Petr, Noguera Carles :  A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics , Journal of Symbolic Logic vol.80, 1 (2015), p. 341-358 [2015] DOI: 10.1017/jsl.2014.19
  10. Cintula Petr, Noguera Carles :  The Proof by Cases Property and its Variants in Structural Consequence Relations , Studia Logica vol.101, 4 (2013), p. 713-747 [2013] DOI: 10.1007/s11225-013-9496-1
  11. Cintula Petr, Horčík Rostislav, Noguera Carles :  Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties , Review of Symbolic Logic vol.6, 3 (2013), p. 394-423 [2013] DOI: 10.1017/S1755020313000099
  12. Cintula Petr, Kroupa Tomáš :  Simple games in Lukasiewicz calculus and their cores , Kybernetika vol.49, 3 (2013), p. 404-419 [2013] Download

  1. Cintula Petr, Wannenburg Johann Joubert, Vacková Kateřina, Grimau Berta, Haniková Zuzana :  Czech Gathering of Logicians 2022, (Prague, CZ, 20220616) [2022] Download
  2. 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), p. 342-349 , Eds: Štěpnička M., EUSFLAT 2019. Conference of the European Society for Fuzzy Logic and Technology /11./, (Praha, CZ, 20190909) [2019] Download DOI: 10.2991/eusflat-19.2019.49
  3. Cintula Petr, Noguera Carles, Smith N. :  Formalizing The Sorites Paradox In Mathematical Fuzzy Logic , CLMPST 2019. Book of Abstracts, p. 113-113, CLMPST 2019: The International Congress of Logic, Methodology and Philosophy of Science and Technology /16./, (Prague, CZ, 20191005) [2019] Download
  4. Cintula Petr, Noguera Carles :  Completeness properties in abstract algebraic logic , TACL 2019. Abstracts, p. 59-60 , Eds: Ghilardi S., Jansana R., Gehrke M., TACL 2019: Topology, Algebra, and Categories in Logic /9./, (Nice, FR, 20190617) [2019] Download
  5. Baldi P., Cintula Petr, Noguera Carles :  On classical and fuzzy two-layered modal logics for uncertainty: translations and proof-theory , Logic Colloquium 2019. Book of abstracts, p. 139-139 , Eds: Chodounský D., Stejskalová J., Verner J., Logic Colloquium 2019, (Praha, CZ, 20190811) [2019] Download
  6. Cintula Petr, Menchón P., Noguera Carles :  General Neighborhood and Kripke Semantics for Modal Many-Valued Logics , LATD 2018. Proceedings, p. 31-34, LATD 2018: Logic, Algebra and Truth Degrees /6./, (Bern, CH, 20190828) [2018]
  7. Baldi Paolo, Cintula Petr, Noguera Carles :  Translating logics of uncertainty into two-layered modal fuzzy logics , AiML 2018: Accepted Short Papers, p. 6-10, AiML 2018: Advances in Modal Logic /12./, (Bern, CH, 20190827) [2018] Download
  8. Bílková Marta, Cintula Petr, Lávička Tomáš :  Lindenbaum and Pair Extension Lemma in Infinitary Logics , Logic, Language, Information and Computation, p. 130-144 , Eds: Moss L. S., de Queiroz R., Martinez M., WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./, (Bogotá, CO, 20180724) [2018] DOI: 10.1007/978-3-662-57669-4_7
  9. Bílková Marta, Cintula Petr, Haniková Zuzana, Horčík R., Kroupa T., Lávička Tomáš, Majer Ondrej, Moraschini Tommaso, Noguera Carles, Přenosil Adam, Sedlár Igor, Vidal Amanda :  TACL 2017: Topology, Algebra and Categories in Logic, (Prague, CZ, 20170626) [2017] Download
  10. Bonzio Stefano, Cintula Petr, Noguera Carles :  Hájek's Probabilistic quantifiers revisited , NCMPL 2017 Abstracts, NCMPL 2017. Non-Classical Modal and Predicate Logics /9./, (Guangzhou, CN, 04.12.2017-07.12.2017) [2017]
  11. Bonzio Stefano, Cintula Petr, Noguera Carles :  Fuzzy logics with integral quantifiers: first steps , ManyVal 2017. Booklet of Abstracts, p. 36-38, ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017) [2017]
  12. Cintula Petr, Noguera Carles :  Combining many-valued logics using two-layer modal syntax , ManyVal 2017. Booklet of Abstracts, p. 13-15, ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017) [2017]
  13. Bílková Marta, Cintula Petr, Lávička Tomáš :  Lindenbaum-style proof of completeness for infinitary logics , ISRALOG'17 Abstract Booklet, p. 28-31, ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017) [2017]
  14. Cintula Petr, Noguera Carles, Smith N.J.J. :  A Logical Framework for Graded Predicates , Logic, Rationality, and Interaction, p. 3-16 , Eds: Baltag A., Yamada T., Seligman J., LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./, (Sapporo, JP, 20170911) [2017] DOI: 10.1007/978-3-662-55665-8_1
  15. Cintula Petr, Noguera Carles :  Neighborhood Semantics for Non-Classical Logics with Modalities , SYSMICS 2016. Syntax Meets Semantics. Booklet of Abstracts, p. 56-57 , Eds: Spada L., SYSMICS 2016. Syntax Meets Semantics, (Barcelona, ES, 20160905) [2016]
  16. Cintula Petr, Noguera Carles :  Completeness Properties in Protoalgebraic Logics , LATD 2016 Book of Abstracts, p. 56-58, LATD 2016. Logic, Algebra and Truth Degrees, (Phalaborwa, ZA, 28.06.2016-30.06.2016) [2016]
  17. 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, p. 95-107 , Eds: Carvalho J.P., Lesot M.-J., Kaymak U., Vieira S., Bouchon-Meunier B., Yager R.R., IPMU 2016 /16./, (Eindhoven, NL, 20.06.2016-24.06.2016) [2016] DOI: 10.1007/978-3-319-40581-0_9
  18. Cintula Petr, Noguera Carles :  Completeness theorem for first-order algebraizable logics , CLMPS 2015 & LC 2015. Book of Abstracts, p. 681-681, LC 2015. Logic Colloquium, (Helsinki, FI, 03.08.2015-08.08.2015) [2015]
  19. Noguera Carles, Cintula Petr :  Extending the set of variables in propositional logics , CLMPS 2015 & LC 2015. Book of Abstracts, p. 207-207, CLMPS 2015. Congress of Logic, Methodology and Philosophy of Science /15./, (Helsinki, FI, 03.08.2015-08.08.2015) [2015]
  20. Cintula Petr, Noguera Carles :  Dense completeness theorem for protoalgebraic logics , Topology, Algebra and Categories in Logic. Booklet of Abstracts, p. 55-57, TACL 2015. Topology, Algebra and Categories in Logic, (Ischia, IT, 21.06.2015-26.06.2015) [2015]
  21. Cintula Petr, Noguera Carles :  Two-layer Modal Logics: Formalism and Applications , Logica 2015, p. 15-15, Logica 2015, (Hejnice, CZ, 20150615) [2015]
  22. Cintula Petr, Noguera Carles :  Beyond Finitarity in Abstract Algebraic Logic II. From Theory to Applications , XX Conference Applications of Logic in Philosophy and the Foundations of Mathematics, p. 11-12 , Eds: Siemienczuk K., Skowron B, Selinger M., Applications of Logic in Philosophy and the Foundations of Mathematics /20./, (Szklarska Poreba, PL, 04.05.2015-08.05.2015) [2015]
  23. Cintula Petr, Noguera Carles :  Beyond Finitarity in Abstract Algebraic Logic I. From Motivation to a Theory , XX Conference Applications of Logic in Philosophy and the Foundations of Mathematics, p. 9-10 , Eds: Siemienczuk K., Skowron B, Selinger M., Applications of Logic in Philosophy and the Foundations of Mathematics /20./, (Szklarska Poreba, PL, 04.05.2015-08.05.2015) [2015]
  24. Běhounek Libor, Cintula Petr, Kroupa Tomáš :  Nash Equilibria in a Class of Continuous Games over Rational Lukasiewicz Logic , ISRALOG'14 Abstracts, p. 44-47, ISRALOG 2014. Israeli Workshop on Non-Classical Logics and Their Applications /2./, (Haifa, IL, 29.09.2014-01.10.2014) [2014]
  25. Cintula Petr, Noguera Carles :  Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem , Logic, Language, Information, and Computation, p. 124-136 , Eds: Kohlenbach U., Barceló P., de Queiroz R., WoLLIC 2014. International Conference /21./, (Valparaíso, CL, 01.09.2014-04.09.2014) [2014] DOI: 10.1007/978-3-662-44145-9_9
  26. Cintula Petr, Noguera Carles :  Two-layer modal logics: from fuzzy logics to a general framework , TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, p. 43-47 , Eds: Galatos N., Kurz A., Tsinakis C., TACL 2013, (Nashville, US, 28.07.2013-01.08.2013) [2014] Download
  27. Cintula Petr, Noguera Carles :  A Completeness Theorem for Two-Layer Modal Logics , Proceedings of the International Workshop on Algebraic Logic in Computer Science, p. 1-4, International Workshop on Algebraic Logic in Computer Science, (Stellenbosch, ZA, 14.12.2013) [2013] Download
  28. 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, p. 1-4, International Workshop on Algebraic Logic in Computer Science, (Stellenbosch, ZA, 14.12.2013) [2013] Download
  29. Cintula Petr, Majer Ondrej, Kroupa Tomáš :  Manyval 2013: Games, decisions and rationality, (Prague, CZ, 04.09.2013-06.09.2013) [2013] Download
  30. Cintula Petr, Klement E.P., Mesiar Radko, Navara M. :  Varieties of Algebras Based on Strict t-norms and Involutive Negations , Eight International Conference on Fuzzy Sets Theory and Applications, p. 8-9 , Eds: Klement P.E., Mesiar R., Drobná E., Chovanec F., FSTA 2006 /8./, (Liptovský Ján, SK, 30.01.2006-03.02.2006) [2006]
  31. Cintula Petr, Klement E.P., Mesiar Radko, Navara M. :  On the Special Role of the Hamacher Product in Fuzzy Logics , Fuzzy Logics and Related Structures, p. 34-37 , Eds: Gottwald S., Hájek P., Höhle U., Klement E.P., Linz Seminar on Fuzzy Set Theory /26./, (Linz, AT, 01.02.2005-05.02.2005) [2005]