Institute of Information Theory and Automation

You are here

Bibliography

Petr Cintula

  1. Cintula Petr, Fermüller C., Noguera CarlesHandbook of Mathematical Fuzzy Logic - Vol. 3, College Publications, (London 2015) Studies in Logic - Mathematical Logic and Foundations vol.58 [2015] Download
  2. Cintula Petr, Horčík Rostislav, Noguera CarlesThe 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. Baldi P., Cintula Petr, Noguera CarlesClassical 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

  1. Baldi Paolo, Cintula Petr, Noguera CarlesTranslating 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
  2. 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
  3. Cintula Petr, Noguera CarlesCompleteness 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
  4. Baldi P., Cintula Petr, Noguera CarlesOn 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
  5. Cintula Petr, Menchón P., Noguera CarlesGeneral 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]
  6. Baldi Paolo, Cintula Petr, Noguera CarlesTranslating 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
  7. 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
  8. Bonzio Stefano, Cintula Petr, Noguera CarlesHá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]
  9. Bonzio Stefano, Cintula Petr, Noguera CarlesFuzzy 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]
  10. Cintula Petr, Noguera CarlesCombining 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]
  11. 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]
  12. 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
  13. Cintula Petr, Noguera CarlesNeighborhood 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]
  14. Cintula Petr, Noguera CarlesCompleteness 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]
  15. 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
  16. Cintula Petr, Noguera CarlesCompleteness 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]
  17. Noguera Carles, Cintula PetrExtending 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]
  18. Cintula Petr, Noguera CarlesDense 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]
  19. Cintula Petr, Noguera CarlesTwo-layer Modal Logics: Formalism and Applications , Logica 2015, p. 15-15, Logica 2015, (Hejnice, CZ, 20150615) [2015]
  20. Cintula Petr, Noguera CarlesBeyond 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]
  21. Cintula Petr, Noguera CarlesBeyond 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]
  22. 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]
  23. Cintula Petr, Noguera CarlesModal 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
  24. Cintula Petr, Noguera CarlesTwo-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
  25. Cintula Petr, Noguera CarlesA 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
  26. Cintula Petr, Horčík Rostislav, Noguera CarlesThe 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
  27. 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]
  28. 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]
2019-01-07 08:39