Stuctured
list of publications
Non-classical
predicate logics
- 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.
[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]
(Abstract)
algebraic logic
- 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]
Non-classical
modal logics
- 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]
Substructural
(semilinear) logics
- 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]
Admissible
rules and structural completeness
Game
theory and logic
- 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]
Formal
fuzzy mathematics
- 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]
Fuzzy
logics with additional connectives
- 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]
Other
works on Mathematical Fuzzy Logic
- 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]
Miscellanea
- 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]