×

zbMATH — the first resource for mathematics

Cintula, Petr

Compute Distance To:
Author ID: cintula.petr Recent zbMATH articles by "Cintula, Petr"
Published as: Cintula, P.; Cintula, Petr
External Links: MGP
Documents Indexed: 63 Publications since 2001, including 7 Books

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 622 times in 323 Documents Cited by Year
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052
Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles
54
2009
A general framework for mathematical fuzzy logic. Zbl 1284.03177
Cintula, Petr; Noguera, Carles
41
2011
Weakly implicative (fuzzy) logics. I: Basic properties. Zbl 1101.03015
Cintula, Petr
41
2006
On theories and models in fuzzy predicate logics. Zbl 1111.03030
Hájek, Petr; Cintula, Petr
36
2006
Fuzzy class theory. Zbl 1086.03043
Běhounek, Libor; Cintula, Petr
34
2005
Triangular norm based predicate fuzzy logics. Zbl 1200.03020
Cintula, Petr; Hájek, Petr
33
2010
Fuzzy logics as the logics of chains. Zbl 1106.03019
Běhounek, Libor; Cintula, Petr
24
2006
Product Łukasiewicz logic. Zbl 1059.03011
Horčík, Rostislav; Cintula, Petr
22
2004
Implicational (semilinear) logics. I: A new hierarchy. Zbl 1196.03013
Cintula, Petr; Noguera, Carles
21
2010
Admissible rules in the implication-negation fragment of intuitionistic logic. Zbl 1225.03011
Cintula, Petr; Metcalfe, George
19
2010
The proof by cases property and its variants in structural consequence relations. Zbl 1316.03040
Cintula, Petr; Noguera, Carles
17
2013
Relations in fuzzy class theory: initial steps. Zbl 1185.03078
Běhounek, Libor; Bodenhofer, Ulrich; Cintula, Petr
17
2008
Handbook of mathematical fuzzy logic. Volume 2. Zbl 1283.03002
Cintula, Petr (ed.); Hájek, Petr (ed.); Noguera, Carles (ed.)
16
2011
A note to the definition of the Ł\(\Pi\)-algebras. Zbl 1086.06008
Cintula, Petr
16
2005
Formal systems of fuzzy logic and their fragments. Zbl 1140.03010
Cintula, Petr; Hájek, Petr; Horčík, Rostislav
15
2007
From fuzzy logic to fuzzy mathematics: a methodological manifesto. Zbl 1108.03027
Běhounek, Libor; Cintula, Petr
15
2006
Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics. Zbl 1026.03017
Cintula, Petr
14
2003
The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics. Zbl 0994.03015
Cintula, Petr
13
2001
Fuzzy logics with an additional involutive negation. Zbl 1189.03028
Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko
12
2010
Structural completeness in fuzzy logics. Zbl 1190.03027
Cintula, Petr; Metcalfe, George
12
2009
Residuated logics based on strict triangular norms with an involutive negation. Zbl 1165.03326
Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko
11
2006
Graded dominance and related graded properties of fuzzy connectives. Zbl 1361.03015
Běhounek, Libor; Bodenhofer, Ulrich; Cintula, Petr; Saminger-Platz, Susanne; Sarkoci, Peter
10
2015
Logics with disjunction and proof by cases. Zbl 1147.03005
Wang, San-min; Cintula, Petr
10
2008
Introduction to mathematical fuzzy logic. Zbl 1284.03175
Běhounek, Libor; Cintula, Petr; Hájek, Petr
9
2011
Handbook of mathematical fuzzy logic. Volume 1. Zbl 1283.03001
Cintula, Petr (ed.); Hájek, Petr (ed.); Noguera, Carles (ed.)
8
2011
About axiomatic systems of product fuzzy logic. Zbl 0987.03022
Cintula, P.
8
2001
Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties. Zbl 1335.03023
Cintula, Petr; Horčík, Rostislav; Noguera, Carles
7
2013
Semi-normal forms and functional representation of product fuzzy logic. Zbl 1047.03015
Cintula, Petr; Gerla, Brunella
7
2004
Compactness of fuzzy logics. Zbl 1040.03019
Cintula, Petr; Navara, Mirko
7
2004
The quest for the basic fuzzy logic. Zbl 1337.03089
Cintula, Petr; Horčík, Rostislav; Noguera, Carles
6
2015
Towards evaluation games for fuzzy logics. Zbl 1167.03021
Cintula, Petr; Majer, Ondrej
6
2009
Features of mathematical theories in formal fuzzy logic. Zbl 1202.03034
Běhounek, Libor; Cintula, Petr
6
2007
Short note: on the redundancy of axiom (A3) in BL and MTL. Zbl 1093.03011
Cintula, Petr
6
2005
A note on axiomatizations of Pavelka-style complete fuzzy logics. Zbl 1400.03054
Cintula, Petr
5
2016
Herbrand theorems for substructural logics. Zbl 1408.03016
Cintula, Petr; Metcalfe, George
5
2013
Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity. Zbl 1338.03116
Cintula, Petr; Noguera, Carles
4
2016
A Henkin-style proof of completeness for first-order algebraizable logics. Zbl 1372.03102
Cintula, Petr; Noguera, Carles
4
2015
Modal logics of uncertainty with two-layer syntax: a general completeness theorem. Zbl 1429.03079
Cintula, Petr; Noguera, Carles
4
2014
Complexity issues in axiomatic extensions of Łukasiewicz logic. Zbl 1165.03009
Cintula, Petr; Hájek, Petr
4
2009
Neighborhood semantics for modal many-valued logics. Zbl 1397.03027
Cintula, Petr; Noguera, Carles
3
2018
Implicational (semilinear) logics. III: Completeness properties. Zbl 06860720
Cintula, Petr; Noguera, Carles
3
2018
Handbook of mathematical fuzzy logic. Volume 3. Zbl 1345.03001
Cintula, Petr (ed.); Fermüller, Christian G. (ed.); Noguera, Carles (ed.)
3
2015
A note on natural extensions in abstract algebraic logic. Zbl 1333.03268
Cintula, Petr; Noguera, Carles
3
2015
A logical framework for graded predicates. Zbl 06810769
Cintula, Petr; Noguera, Carles; Smith, Nicholas J. J.
2
2017
Skolemization for substructural logics. Zbl 06528769
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Toward a general frame semantics for modal many-valued logics. Zbl 1418.03121
Cintula, Petr; Menchón, Paula; Noguera, Carles
1
2019
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 07041828
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
Note on deduction theorems in contraction-free logics. Zbl 1248.03014
Chvalovský, Karel; Cintula, Petr
1
2012
Filters in algebras of fuzzy logics. Zbl 1254.03120
Víta, Martin; Cintula, Petr
1
2011
Witnessed years. Essays in honour of Petr Hájek. Zbl 1203.03005
Cintula, Petr (ed.); Haniková, Zuzana (ed.); Švejdar, Vítězslav (ed.)
1
2009
Normal forms for fuzzy logics: a proof-theoretic approach. Zbl 1114.03016
Cintula, Petr; Metcalfe, George
1
2007
Two notions of compactness in Gödel logics. Zbl 1098.03031
Cintula, Petr
1
2005
Toward a general frame semantics for modal many-valued logics. Zbl 1418.03121
Cintula, Petr; Menchón, Paula; Noguera, Carles
1
2019
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 07041828
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
Neighborhood semantics for modal many-valued logics. Zbl 1397.03027
Cintula, Petr; Noguera, Carles
3
2018
Implicational (semilinear) logics. III: Completeness properties. Zbl 06860720
Cintula, Petr; Noguera, Carles
3
2018
A logical framework for graded predicates. Zbl 06810769
Cintula, Petr; Noguera, Carles; Smith, Nicholas J. J.
2
2017
A note on axiomatizations of Pavelka-style complete fuzzy logics. Zbl 1400.03054
Cintula, Petr
5
2016
Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity. Zbl 1338.03116
Cintula, Petr; Noguera, Carles
4
2016
Graded dominance and related graded properties of fuzzy connectives. Zbl 1361.03015
Běhounek, Libor; Bodenhofer, Ulrich; Cintula, Petr; Saminger-Platz, Susanne; Sarkoci, Peter
10
2015
The quest for the basic fuzzy logic. Zbl 1337.03089
Cintula, Petr; Horčík, Rostislav; Noguera, Carles
6
2015
A Henkin-style proof of completeness for first-order algebraizable logics. Zbl 1372.03102
Cintula, Petr; Noguera, Carles
4
2015
Handbook of mathematical fuzzy logic. Volume 3. Zbl 1345.03001
Cintula, Petr (ed.); Fermüller, Christian G. (ed.); Noguera, Carles (ed.)
3
2015
A note on natural extensions in abstract algebraic logic. Zbl 1333.03268
Cintula, Petr; Noguera, Carles
3
2015
Skolemization for substructural logics. Zbl 06528769
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Modal logics of uncertainty with two-layer syntax: a general completeness theorem. Zbl 1429.03079
Cintula, Petr; Noguera, Carles
4
2014
The proof by cases property and its variants in structural consequence relations. Zbl 1316.03040
Cintula, Petr; Noguera, Carles
17
2013
Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties. Zbl 1335.03023
Cintula, Petr; Horčík, Rostislav; Noguera, Carles
7
2013
Herbrand theorems for substructural logics. Zbl 1408.03016
Cintula, Petr; Metcalfe, George
5
2013
Note on deduction theorems in contraction-free logics. Zbl 1248.03014
Chvalovský, Karel; Cintula, Petr
1
2012
A general framework for mathematical fuzzy logic. Zbl 1284.03177
Cintula, Petr; Noguera, Carles
41
2011
Handbook of mathematical fuzzy logic. Volume 2. Zbl 1283.03002
Cintula, Petr (ed.); Hájek, Petr (ed.); Noguera, Carles (ed.)
16
2011
Introduction to mathematical fuzzy logic. Zbl 1284.03175
Běhounek, Libor; Cintula, Petr; Hájek, Petr
9
2011
Handbook of mathematical fuzzy logic. Volume 1. Zbl 1283.03001
Cintula, Petr (ed.); Hájek, Petr (ed.); Noguera, Carles (ed.)
8
2011
Filters in algebras of fuzzy logics. Zbl 1254.03120
Víta, Martin; Cintula, Petr
1
2011
Triangular norm based predicate fuzzy logics. Zbl 1200.03020
Cintula, Petr; Hájek, Petr
33
2010
Implicational (semilinear) logics. I: A new hierarchy. Zbl 1196.03013
Cintula, Petr; Noguera, Carles
21
2010
Admissible rules in the implication-negation fragment of intuitionistic logic. Zbl 1225.03011
Cintula, Petr; Metcalfe, George
19
2010
Fuzzy logics with an additional involutive negation. Zbl 1189.03028
Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko
12
2010
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052
Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles
54
2009
Structural completeness in fuzzy logics. Zbl 1190.03027
Cintula, Petr; Metcalfe, George
12
2009
Towards evaluation games for fuzzy logics. Zbl 1167.03021
Cintula, Petr; Majer, Ondrej
6
2009
Complexity issues in axiomatic extensions of Łukasiewicz logic. Zbl 1165.03009
Cintula, Petr; Hájek, Petr
4
2009
Witnessed years. Essays in honour of Petr Hájek. Zbl 1203.03005
Cintula, Petr (ed.); Haniková, Zuzana (ed.); Švejdar, Vítězslav (ed.)
1
2009
Relations in fuzzy class theory: initial steps. Zbl 1185.03078
Běhounek, Libor; Bodenhofer, Ulrich; Cintula, Petr
17
2008
Logics with disjunction and proof by cases. Zbl 1147.03005
Wang, San-min; Cintula, Petr
10
2008
Formal systems of fuzzy logic and their fragments. Zbl 1140.03010
Cintula, Petr; Hájek, Petr; Horčík, Rostislav
15
2007
Features of mathematical theories in formal fuzzy logic. Zbl 1202.03034
Běhounek, Libor; Cintula, Petr
6
2007
Normal forms for fuzzy logics: a proof-theoretic approach. Zbl 1114.03016
Cintula, Petr; Metcalfe, George
1
2007
Weakly implicative (fuzzy) logics. I: Basic properties. Zbl 1101.03015
Cintula, Petr
41
2006
On theories and models in fuzzy predicate logics. Zbl 1111.03030
Hájek, Petr; Cintula, Petr
36
2006
Fuzzy logics as the logics of chains. Zbl 1106.03019
Běhounek, Libor; Cintula, Petr
24
2006
From fuzzy logic to fuzzy mathematics: a methodological manifesto. Zbl 1108.03027
Běhounek, Libor; Cintula, Petr
15
2006
Residuated logics based on strict triangular norms with an involutive negation. Zbl 1165.03326
Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko
11
2006
Fuzzy class theory. Zbl 1086.03043
Běhounek, Libor; Cintula, Petr
34
2005
A note to the definition of the Ł\(\Pi\)-algebras. Zbl 1086.06008
Cintula, Petr
16
2005
Short note: on the redundancy of axiom (A3) in BL and MTL. Zbl 1093.03011
Cintula, Petr
6
2005
Two notions of compactness in Gödel logics. Zbl 1098.03031
Cintula, Petr
1
2005
Product Łukasiewicz logic. Zbl 1059.03011
Horčík, Rostislav; Cintula, Petr
22
2004
Semi-normal forms and functional representation of product fuzzy logic. Zbl 1047.03015
Cintula, Petr; Gerla, Brunella
7
2004
Compactness of fuzzy logics. Zbl 1040.03019
Cintula, Petr; Navara, Mirko
7
2004
Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics. Zbl 1026.03017
Cintula, Petr
14
2003
The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics. Zbl 0994.03015
Cintula, Petr
13
2001
About axiomatic systems of product fuzzy logic. Zbl 0987.03022
Cintula, P.
8
2001
all top 5

Cited by 274 Authors

32 Cintula, Petr
25 Noguera, Carles
15 Bianchi, Matteo
15 Esteva, Francesc
14 Godo, Lluís
13 Flaminio, Tommaso
12 Běhounek, Libor
12 Hájek, Petr
12 Montagna, Franco
11 Novák, Vilém
11 Vychodil, Vilém
10 Metcalfe, George
9 Aguzzoli, Stefano
9 Wang, Sanmin
7 Haniková, Zuzana
6 Ciabattoni, Agata
6 Gerla, Brunella
6 Gottwald, Siegfried
6 Horčík, Rostislav
6 Mesiar, Radko
6 Yang, Eunsuk
5 Baaz, Matthias
5 Baldi, Paolo
5 Citkin, Alex
5 Dellunde, Pilar
5 García-Cerdaña, Àngel
5 Gispert, Joan
5 Iemhoff, Rosalie
5 Navara, Mirko
4 Badia, Guillermo
4 Cerami, Marco
4 Daňková, Martina
4 Fermüller, Christian G.
4 Freytes, Hector
4 Goudsmit, Jeroen P.
4 Klement, Erich Peter
4 Marchioni, Enrico
3 De Baets, Bernard
3 Diaconescu, Denisa
3 Dubois, Didier
3 Omladič, Matjaž
3 Pei, Daowu
3 Přenosil, Adam
3 Sarkoci, Peter
3 Spada, Luca
3 Vetterlein, Thomas
2 Armengol, Eva
2 Avron, Arnon
2 Bělohlávek, Radim
2 Bentkowska (Dudziak), Urszula
2 Bodenhofer, Ulrich
2 Borgwardt, Stefan
2 Bou, Félix
2 Cabrer, Leonardo Manuel
2 Caselles Costa, Vicent
2 Chvalovský, Karel
2 Ciucci, Davide
2 Cornelis, Chris
2 Corsi, Esther Anna
2 Deschrijver, Glad
2 Diaconescu, Răzvan
2 Dick, Scott
2 Dombi, József Dániel
2 Durante, Fabrizio
2 Dyba, Martin
2 El-Zekey, Moataz Saleh
2 Fasching, Oliver
2 Gabbay, Dov M.
2 Georgescu, George
2 Halaš, Radomír
2 Hu, Baoqing
2 Jenei, Sándor
2 Kerre, Etienne E.
2 Król, Anna
2 Lapenta, Serafina
2 Lávička, Tomáš
2 Liau, Churn-Jung
2 Majer, Ondrej
2 Moraschini, Tommaso
2 Pan, Xiaodong
2 Peñaloza, Rafael
2 Petrík, Milan
2 Prade, Henri M.
2 Preining, Norbert
2 Recasens, Jordi
2 Savický, Petr
2 Terui, Kazushige
2 Tsinakis, Constantine
2 Ugolini, Sara
2 Valota, Diego
2 van Alten, Clint J.
2 Van Gasse, Bart
2 Wang, Mingyan
2 Yazdanbakhsh, Omolbanin
2 Zhang, Dexue
1 À. García-Cerdaña, Àngel
1 Agliano, Paolo
1 Albuquerque, Hugo
1 Antoni, Lubomir
1 Bacon, Andrew
...and 174 more Authors

Citations by Year