Structured list of publications
Structured list of publications
P. Cintula, G. Metcalfe and N. Tokuda. One-Variable Fragments of First-Order Logics. The Bulletin of Symbolic Logic, 30:253--278, 2024, 2024.
G. Badia, P. Cintula, P. Hájek, A. Tedder. How Much Propositional Logic Suffices for Rosser's Undecidability Theorem? The Review of Symbolic Logic 15(2):487–504, 2022. [Fulltext]
P. Cintula, D. Diaconecsu, G. Metcalfe. Skolemization and Herbrand theorems for lattice-valued logics. Theoretical Computer Science 768:54–75, 2019. [Fulltext]
P. Cintula, D. Diaconecsu. Omitting types theorem for fuzzy logics. IEEE Transactions on Fuzzy Systems 27(2):273–277, 2019. [Fulltext]
P. Cintula, C. Noguera, N.J.J. Smith. A logical framework for graded predicates. In A. Baltag, J. Seligman, T. Yamada, editors: Rationality, and Interaction - 6th International Workshop, LORI 2017, volume 10455 of Lecture Notes in Computer Science, pp. 3–16, Springer, 2017. [Fulltext]
P. Cintula, D. Diaconecsu, G. Metcalfe. Skolemization for substructural logics. In M. Davis, A. Fehnker, A. McIver, A. Voronkov, editors: Proceedings of LPAR-20, volume 9450 of Lecture Notes in Computer Science, pp. 1–15. Springer, 2015. [Fulltext]
P. Cintula, C. Noguera. A Henkin-style proof of completeness for first-order algebraizable logics. Journal of Symbolic Logic 80(1):341–358, 2015. [Fulltext]
P. Cintula, G. Metcalfe. Herbrand theorems for substructural logics. In K. L. McMillan, A. Middeldorp, A. Voronkov, editors: Proceedings of LPAR-19, volume 8312 of Lecture Notes in Computer Science, pp. 584–600. Springer, 2013. [Fulltext]
P. Cintula, P. Hájek. Triangular norm predicate fuzzy logics. Fuzzy Sets and Systems 161(3):311–346, 2010. [Fulltext]
P. Hájek, P. Cintula. On theories and models in fuzzy predicate logics. Journal of Symbolic Logic 71(3):863–880, 2006. [Fulltext]
G. Badia, L. Běhounek, P. Cintula, A. Tedder. Relevant Consequence Relations: An Invitation. The Review of Symbolic Logic 17:762--792, 2024.
P. Cintula, C. Noguera. Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics. Volume 57 of Trends in Logic. Springer, 2021. [Errata]
P. Cintula, F. Paoli. Is multiset consequence trivial? Synthese 199:741–765, 2021. [Fulltext]
P. Cintula, J. Gil Férez, T. Moraschini, F. Paoli. An abstract approach to consequence relations. The Review of Symbolic Logic 12(2), 331–371, 2019.[Fulltext]
M. Bílková, P. Cintula, T. Lávička. Lindenbaum and pair extension lemma in infinitary logics. In L. Moss, R. De Queiroz, M. Martinez, editors: Proceedings of WOLLIC 2018, volume 10944 of Lecture Notes in Computer Science, pp. 130–144, Springer, 2018 [Fulltext]
P. Cintula, C. Noguera. Implicational (semilinear) logics III: Completeness properties. Archive for Mathematical Logic 57(1–3):391–420, 2018. [Fulltext]
P. Cintula, C. Noguera. Implicational (semilinear) logics II: Additional connectives and characterizations of semilinearity. Archive for Mathematical Logic 55(3):353–372, 2016. [Fulltext]
P. Cintula, C. Noguera. A note on natural extensions in Abstract Algebraic Logic. Studia Logica 103(4):815–823, 2015. [Fulltext]
P. Cintula, C. Noguera. The proof by cases property and its variants in structural consequence relations. Studia Logica 101(4):713–747, 2013. [Fulltext]
K. Chvalovský, P. Cintula. Note on deduction theorems in contraction-free logics. Mathematical Logic Quarterly 58(3):236–243, 2012. [Fulltext]
P. Cintula, C. Noguera. A general framework for mathematical fuzzy logic. In P. Cintula, P. Hájek, C. Noguera, editors: Handbook of Mathematical Fuzzy Logic - Volume 1, volume 37 of Studies in Logic, Mathematical Logic and Foundations, pp. 103–207, College Publication, 2011. [Fulltext]
P. Cintula, C. Noguera. Implicational (semilinear) logics I: A new hierarchy. Archive for Mathematical Logic 49(4):417–446, 2010. [Fulltext]
S.-M. Wang, P. Cintula. Logics with disjunction and proof by cases. Archive for Mathematical Logic 47(5):435–446, 2008. [Fulltext]
P. Cintula. Weakly implicative (fuzzy) logics I: Basic properties. Archive for Mathematical Logic 45(6):673–704, 2006. [Fulltext]
P. Baldi, P. Cintula, C. Noguera. Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory. International Journal of Computational Intelligence Systems 13(1):988–1001, 2020. [Fulltext]
P. Baldi, P. Cintula, C. Noguera. Translating classical probability logics into modal fuzzy logics. In M. Štěpnička, editor: Proceedings of EUSFLAT 2019, Atlantis Studies in Uncertainty Modelling, pp. 342–349. AtlantisPress, 2019. [Fulltext]
P. Cintula, P. Menchón, C. Noguera. Towards a General Possible-World Semantics for Modal Many-Valued Logics. Soft Computing 23(7):2233–2241, 2019. [Fulltext]
P. Cintula, C. Noguera. Neighborhood Semantics for Modal Many-Valued Logics. Fuzzy Sets and Systems 345:99–112, 2018. [Fulltext]
P. Cintula, C. Noguera. Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. In Ulrich Kohlenbach, Pablo Barceló, and Ruy de Queiroz, editors, Proceedings of WOLLIC 2014, volume 8652 of Lecture Notes in Computer Science, pp. 124–136. Springer 2014. [Fulltext]
P. Cintula, R. Horčík, C. Noguera. The quest for the basic fuzzy logic. In Franco Montagna, editor, Petr Hájek on Mathematical Fuzzy Logic, volume 6 of Outstanding Contributions to Logic, pp. 245–290, Springer 2015. [Fulltext]
P. Cintula, R. Horčík, C. Noguera. Non-associative substructural logics and their semilinear extensions: Axiomatization and completeness properties. The Review of Symbolic Logic 6(3):394–423, 2013. [Fulltext]
P. Cintula, F. Esteva, J. Gispert, L. Godo, F. Montagna, C. Noguera. Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Annals of Pure and Applied Logic 160(1):53–81, 2009. [Fulltext]
P. Cintula, P. Hájek, R. Horčík. Formal systems of fuzzy logic and their fragments. Annals of Pure and Applied Logic 150(1–3):40–65, 2007. [Fulltext]
P. Cintula, G. Metcalfe. Normal forms for fuzzy logics: a proof-theoretic approach. Archive for Mathematical Logic 46(5–6):347–363, 2007. [Fulltext]
P. Cintula, G. Metcalfe. Admissible rules in the implication–negation fragment of intuitionistic logic. Annals of Pure and Applied Logic 162(2):162–171, 2010. [Fulltext]
P. Cintula, G. Metcalfe. Structural completeness in fuzzy logics. Notre Dame Journal of Formal Logic 50(2):153–182, 2009. [Fulltext]
L. Běhounek, P. Cintula, C. Fermüller, and T. Kroupa. Representing Strategic Games and Their Equilibria in Many-Valued Logics. Logic Journal of the IGPL 24(3):238–267, 2016. [Fulltext]
P. Cintula, T. Kroupa. Simple games in Łukasiewicz calculus and their cores. Kybernetika, 49(3):404–419, 2013. [Fulltext]
P. Cintula, O. Majer. Towards evaluation games for fuzzy logics. In O. Majer, A.-V. Pietarinen, T. Tulenheimo, editors, Games: Unifying Logic, Language, and Philosophy, volume 15 of Logic, Epistemology, and the Unity of Science, pp. 117–138, Springer, 2009. [Fulltext]
L. Běhounek, U. Bodenhofer, P. Cintula, S. Saminger-Platz, P. Sarkoci. Graded dominance and related graded properties of fuzzy connectives. Fuzzy Sets and Systems 262:78–101, 2015. [Fulltext]
L. Běhounek, U. Bodenhofer, P. Cintula. Relations in Fuzzy Class Theory: Initial steps. Fuzzy Sets and Systems 159(14):1729–1772, 2008. [Fulltext]
L. Běhounek, P. Cintula. From fuzzy logic to fuzzy mathematics: A methodological manifesto. Fuzzy Sets and Systems 157(5):642–646, 2006. [Fulltext]
L. Běhounek, P. Cintula. Fuzzy Class Theory. Fuzzy Sets and Systems 154(1):34–55, 2005. [Fulltext]
P. Cintula. A note on axiomatizations of Pavelka-style complete fuzzy logics. Fuzzy Sets and Systems 292:160–174, 2016. [Fulltext]
P. Cintula, E.P. Klement, R. Mesiar, M. Navara. Fuzzy logics with an additional involutive negation. Fuzzy Sets and Systems 161(3):390–411, 2010. [Fulltext]
P. Cintula, E.P. Klement, R. Mesiar, M. Navara. Residuated logics based on strict triangular norms with an involutive negation. Mathematical Logic Quarterly 52(3):269–282, 2006. [Fulltext]
P. Cintula. A note to the definition of the ŁPi-algebras. Soft Computing 9(8):575–578, 2005. [Fulltext]
R. Horčík, P. Cintula. Product Łukasiewicz logic. Archive for Mathematical Logic 43(4):477–503, 2004. [Fulltext]
P. Cintula. Advances in the ŁPi and ŁPi1/2 logics. Archive for Mathematical Logic 42(5):449–468, 2003. [Fulltext]
P. Cintula. The ŁPi and ŁPi1/2 propositional and predicate logics. Fuzzy Sets and Systems 124(3):289–302, 2001. [Fulltext]
P. Cintula. An alternative approach to the ŁPi logic. Neural Network World 11(6 special issue on SOFSEM2001):561–572, 2001. [Fulltext]
L. Běhounek, P. Cintula, P. Hájek. Introduction to Mathematical Fuzzy Logic. In P. Cintula, P. Hájek, C. Noguera, editors, Handbook of Mathematical Fuzzy Logic - Volume 1, volume 37 of Studies in Logic, Mathematical Logic and Foundations, pp. 1–101, College Publication, 2011. [Fulltext]
P. Cintula, P. Hájek. Complexity issues in axiomatic extensions of Łukasiewicz logic. Journal of Logic and Computation 19(2):245–260, 2009. [Fulltext]
L. Běhounek, P. Cintula. Fuzzy logics as the logics of chains. Fuzzy Sets and Systems 157(5):604–610, 2006. [Fulltext]
P. Cintula. Short note on the redundancy of axiom (A3) in BL and MTL. Soft Computing 9(12):942, 2005. [Fulltext]
P. Cintula. Two notions of compactness in Gödel logics. Studia Logica 81(1):99–123, 2005. [Fulltext]
P. Cintula, M. Navara. Compactness of fuzzy logics. Fuzzy Sets and Systems 143(1):59–73, 2004. [Fulltext]
P. Cintula, B. Gerla. Semi-normal forms and functional representation of product fuzzy logic. Fuzzy Sets and Systems 143(1):89--110, 2004. [Fulltext]
P. Cintula. About axiomatic systems of product fuzzy logic. Soft Computing 5(3):243–244, 2001. [Fulltext]
P. Cintula, C. Fermüller, C. Noguera. Fuzzy Logic. The Stanford Encyclopedia of Philosophy (Fall 2017 Edition), Edward N. Zalta (ed.).
P. Cintula, C. Noguera. Slabě implikativní logiky: Úvod do abstraktního studia výrokových logik (Weakly implicative logics: An introduction to abstract study of propositional logics; in Czech). Filozofická fakulta Univerzity Karlovy v Praze, Praha, ISBN 978-80-7308-576–6, 2015. [Fulltext]
P. Cintula. A General Framework for Mathematical Fuzzy Logic, habilitation thesis, Czech Technical University in Prague, 2014. [Fulltext]
P. Cintula. Universal Methods in Mathematical Fuzzy Logic, habilitation thesis, Vienna University of Technology, 2013. [Fulltext]
P. Cintula. From Fuzzy Logic to Fuzzy Mathematics, PhD thesis, FJFI ČVUT, 2005. [Fulltext]