Ústav teorie informace a automatizace

Jste zde

Domů

Bibliografie

Carles Noguera

  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. Badia G., Noguera Carles :  A 0-1 Law in Mathematical Fuzzy Logic , IEEE Transactions on Fuzzy Systems vol.30, 9 (2022), p. 3833-3840 [2022] Download Download DOI: 10.1109/TFUZZ.2021.3131200
  2. Badia G., Noguera Carles :  Saturated models of first-order many-valued logics , Logic Journal of the IGPL vol.30, 1 (2022), p. 1-20 [2022] Download Download DOI: 10.1093/jigpal/jzaa027
  3. Badia G., Noguera Carles :  A general omitting types theorem in mathematical fuzzy logic , IEEE Transactions on Fuzzy Systems vol.29, 6 (2021), p. 1386-1394 [2021] Download Download DOI: 10.1109/TFUZZ.2020.2975146
  4. Badia G., Noguera Carles :  Lindström theorems in graded model theory , Annals of Pure and Applied Logic vol.172, 102916 [2021] Download Download DOI: 10.1016/j.apal.2020.102916
  5. 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
  6. Dubois D., Esteva F., Flaminio T., Noguera Carles, Prade H., Rodriguez R. O. :  Many-valued Logics for Reasoning: Essays in Honor of Lluis Godo on the Occasion of his 60th Birthday , Soft Computing vol.23, 7 (2019), p. 2125-2127 [2019] Download Download DOI: 10.1007/s00500-019-03867-x
  7. Badia G., Costa V., Dellunde P., Noguera Carles :  Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic , Soft Computing vol.23, 7 (2019), p. 2177-2186 [2019] Download Download DOI: 10.1007/s00500-019-03850-6
  8. 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
  9. Badia G., Noguera Carles :  Fraisse classes of graded relational structures , Theoretical Computer Science vol.737, 1 (2018), p. 81-90 [2018] Download DOI: 10.1016/j.tcs.2018.05.010
  10. Dellunde P., García-Cerdaña A., Noguera Carles :  Back-and-forth systems for fuzzy first-order models , Fuzzy Sets and Systems vol.345, 1 (2018), p. 83-98 [2018] Download DOI: 10.1016/j.fss.2018.01.016
  11. Lávička Tomáš, Noguera Carles :  Extension Properties and Subdirect Representation in Abstract Algebraic Logic , Studia Logica vol.106, 6 (2018), p. 1065-1095 [2018] Download DOI: 10.1007/s11225-017-9771-7
  12. 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
  13. 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
  14. Lávička Tomáš, Noguera Carles :  A new hierarchy of infinitary logics in abstract algebraic logic , Studia Logica vol.105, 3 (2017), p. 521-551 [2017] Download DOI: 10.1007/s11225-016-9699-3
  15. Dellunde P., García-Cerdaña A., Noguera Carles :  Löwenheim-Skolem theorems for non-classical first-order algebraizable logics , Logic Journal of the IGPL vol.24, 3 (2016), p. 321-345 [2016] Download DOI: 10.1093/jigpal/jzw009
  16. 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
  17. Ertola R., Esteva F., Flaminio T., Godo L., Noguera Carles :  Paraconsistency properties in degree-preserving fuzzy logics , Soft Computing vol.19, 3 (2015), p. 531-546 [2015] Download DOI: 10.1007/s00500-014-1489-0
  18. 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
  19. 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
  20. Esteva F., Godo L., Noguera Carles :  A logical approach to fuzzy truth hedges , Information Sciences vol.232, 1 (2013), p. 366-385 [2013] Download DOI: 10.1016/j.ins.2012.12.010
  21. 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
  22. 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

  1. 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
  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 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
  4. 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
  5. 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]
  6. 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
  7. 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
  8. 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]
  9. 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]
  10. 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]
  11. 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
  12. 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]
  13. Lávička Tomáš, Noguera Carles :  A New Hierarchy of Infinitary Propositional Logics , LATD 2016 Book of Abstracts, p. 86-88, LATD 2016. Logic, Algebra and Truth Degrees, (Phalaborwa, ZA, 28.06.2016-30.06.2016) [2016]
  14. 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]
  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 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]
  17. 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]
  18. 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]
  19. Cintula Petr, Noguera Carles :  Two-layer Modal Logics: Formalism and Applications , Logica 2015, p. 15-15, Logica 2015, (Hejnice, CZ, 20150615) [2015]
  20. 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]
  21. 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]
  22. 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
  23. 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
  24. Biraben R. C. E., Noguera Carles :  Paraconsistent degree-preserving fuzzy logic , Handbook of the 5th World Congress on Paraconsistency, p. 47-48 , Eds: Beziau J. - Y., Buchsbaum A., Altair A., World Congress on Paraconsistency /5./, (Kolkata, IN, 13.02.2014-17.02.2014) [2014] Download
  25. 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
  26. 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
  27. Ertola R., Esteva F., Flaminio T., Godo L., Noguera Carles :  Exploring paraconsistency in degree-preserving fuzzy logics , Proceedings of the 8th Conference of the European Society for Fuzzy Logic and Technology EUSFLAT 2013, p. 117-124 , Eds: Pasi G., Montero J., Ciucci D, EUSFLAT 2013, (Milan, IT, 11.09.2013-13.09.2013) [2013] Download
07.01.2019 - 08:39
Institute of Information Theory and Automation