Cintula, Petr; Menchón, Paula; Noguera, Carles Toward a general frame semantics for modal many-valued logics. (English) Zbl 1418.03121 Soft Comput. 23, No. 7, 2233-2241 (2019). MSC: 03B52 03B45 03B50 PDFBibTeX XMLCite \textit{P. Cintula} et al., Soft Comput. 23, No. 7, 2233--2241 (2019; Zbl 1418.03121) Full Text: DOI
Cintula, Petr; Noguera, Carles Neighborhood semantics for modal many-valued logics. (English) Zbl 1397.03027 Fuzzy Sets Syst. 345, 99-112 (2018). MSC: 03B50 03B45 PDFBibTeX XMLCite \textit{P. Cintula} and \textit{C. Noguera}, Fuzzy Sets Syst. 345, 99--112 (2018; Zbl 1397.03027) Full Text: DOI
Cintula, Petr; Noguera, Carles Implicational (semilinear) logics. III: Completeness properties. (English) Zbl 1522.03036 Arch. Math. Logic 57, No. 3-4, 391-420 (2018). MSC: 03B22 03B47 03B52 03G27 PDFBibTeX XMLCite \textit{P. Cintula} and \textit{C. Noguera}, Arch. Math. Logic 57, No. 3--4, 391--420 (2018; Zbl 1522.03036) Full Text: DOI
Cintula, Petr; Noguera, Carles; Rogger, Jonas From Kripke to neighborhood semantics for modal fuzzy logics. (English) Zbl 1455.03028 Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 95-107 (2016). MSC: 03B52 03B45 PDFBibTeX XMLCite \textit{P. Cintula} et al., Commun. Comput. Inf. Sci. 611, 95--107 (2016; Zbl 1455.03028) Full Text: DOI
Cintula, Petr A note on axiomatizations of Pavelka-style complete fuzzy logics. (English) Zbl 1400.03054 Fuzzy Sets Syst. 292, 160-174 (2016). Reviewer: Michał Baczyński (Katowice) MSC: 03B52 PDFBibTeX XMLCite \textit{P. Cintula}, Fuzzy Sets Syst. 292, 160--174 (2016; Zbl 1400.03054) Full Text: DOI
Běhounek, Libor; Bodenhofer, Ulrich; Cintula, Petr; Saminger-Platz, Susanne; Sarkoci, Peter Graded dominance and related graded properties of fuzzy connectives. (English) Zbl 1361.03015 Fuzzy Sets Syst. 262, 78-101 (2015). MSC: 03B52 03E72 PDFBibTeX XMLCite \textit{L. Běhounek} et al., Fuzzy Sets Syst. 262, 78--101 (2015; Zbl 1361.03015) Full Text: DOI Link
Cintula, Petr; Horčík, Rostislav; Noguera, Carles Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties. (English) Zbl 1335.03023 Rev. Symb. Log. 6, No. 3, 394-423 (2013). Reviewer: Gemma Robles (León) MSC: 03B47 PDFBibTeX XMLCite \textit{P. Cintula} et al., Rev. Symb. Log. 6, No. 3, 394--423 (2013; Zbl 1335.03023) Full Text: DOI
Cintula, Petr; Noguera, Carles Implicational (semilinear) logics. I: A new hierarchy. (English) Zbl 1196.03013 Arch. Math. Logic 49, No. 4, 417-446 (2010). MSC: 03B22 03B47 03B52 03G27 PDFBibTeX XMLCite \textit{P. Cintula} and \textit{C. Noguera}, Arch. Math. Logic 49, No. 4, 417--446 (2010; Zbl 1196.03013) Full Text: DOI
Cintula, Petr; Klement, Erich Peter; Mesiar, Radko; Navara, Mirko Fuzzy logics with an additional involutive negation. (English) Zbl 1189.03028 Fuzzy Sets Syst. 161, No. 3, 390-411 (2010). Reviewer: Michał Baczyński (Katowice) MSC: 03B52 PDFBibTeX XMLCite \textit{P. Cintula} et al., Fuzzy Sets Syst. 161, No. 3, 390--411 (2010; Zbl 1189.03028) Full Text: DOI
Cintula, Petr; Hájek, Petr Triangular norm based predicate fuzzy logics. (English) Zbl 1200.03020 Fuzzy Sets Syst. 161, No. 3, 311-346 (2010). Reviewer: Brunella Gerla (Varese) MSC: 03B52 03B50 03C90 PDFBibTeX XMLCite \textit{P. Cintula} and \textit{P. Hájek}, Fuzzy Sets Syst. 161, No. 3, 311--346 (2010; Zbl 1200.03020) Full Text: DOI
Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. (English) Zbl 1168.03052 Ann. Pure Appl. Logic 160, No. 1, 53-81 (2009). Reviewer: Daniele Mundici (Firenze) MSC: 03G25 03B50 03B52 06F05 PDFBibTeX XMLCite \textit{P. Cintula} et al., Ann. Pure Appl. Logic 160, No. 1, 53--81 (2009; Zbl 1168.03052) Full Text: DOI
Běhounek, Libor; Bodenhofer, Ulrich; Cintula, Petr Relations in fuzzy class theory: initial steps. (English) Zbl 1185.03078 Fuzzy Sets Syst. 159, No. 14, 1729-1772 (2008). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03E72 03B52 03E70 PDFBibTeX XMLCite \textit{L. Běhounek} et al., Fuzzy Sets Syst. 159, No. 14, 1729--1772 (2008; Zbl 1185.03078) Full Text: DOI
Wang, San-min; Cintula, Petr Logics with disjunction and proof by cases. (English) Zbl 1147.03005 Arch. Math. Logic 47, No. 5, 435-446 (2008). MSC: 03B22 03B47 03B52 PDFBibTeX XMLCite \textit{S.-m. Wang} and \textit{P. Cintula}, Arch. Math. Logic 47, No. 5, 435--446 (2008; Zbl 1147.03005) Full Text: DOI
Cintula, Petr; Hájek, Petr; Horčík, Rostislav Formal systems of fuzzy logic and their fragments. (English) Zbl 1140.03010 Ann. Pure Appl. Logic 150, No. 1-3, 40-65 (2007). Reviewer: Thomas Vetterlein (Wien) MSC: 03B52 PDFBibTeX XMLCite \textit{P. Cintula} et al., Ann. Pure Appl. Logic 150, No. 1--3, 40--65 (2007; Zbl 1140.03010) Full Text: DOI
Hájek, Petr; Cintula, Petr On theories and models in fuzzy predicate logics. (English) Zbl 1111.03030 J. Symb. Log. 71, No. 3, 863-880 (2006). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B52 03B50 03C07 PDFBibTeX XMLCite \textit{P. Hájek} and \textit{P. Cintula}, J. Symb. Log. 71, No. 3, 863--880 (2006; Zbl 1111.03030) Full Text: DOI
Cintula, Petr Weakly implicative (fuzzy) logics. I: Basic properties. (English) Zbl 1101.03015 Arch. Math. Logic 45, No. 6, 673-704 (2006). Reviewer: Dana Piciu (Craiova) MSC: 03B22 03B52 03G99 03B47 03B50 06F35 PDFBibTeX XMLCite \textit{P. Cintula}, Arch. Math. Logic 45, No. 6, 673--704 (2006; Zbl 1101.03015) Full Text: DOI
Běhounek, Libor; Cintula, Petr Fuzzy logics as the logics of chains. (English) Zbl 1106.03019 Fuzzy Sets Syst. 157, No. 5, 604-610 (2006). MSC: 03B52 03A05 03B22 PDFBibTeX XMLCite \textit{L. Běhounek} and \textit{P. Cintula}, Fuzzy Sets Syst. 157, No. 5, 604--610 (2006; Zbl 1106.03019) Full Text: DOI
Cintula, Petr Two notions of compactness in Gödel logics. (English) Zbl 1098.03031 Stud. Log. 81, No. 1, 99-123 (2005). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B22 PDFBibTeX XMLCite \textit{P. Cintula}, Stud. Log. 81, No. 1, 99--123 (2005; Zbl 1098.03031) Full Text: DOI
Cintula, Petr Short note: on the redundancy of axiom (A3) in BL and MTL. (English) Zbl 1093.03011 Soft Comput. 9, No. 12, 942 (2005). MSC: 03B52 PDFBibTeX XMLCite \textit{P. Cintula}, Soft Comput. 9, No. 12, 942 (2005; Zbl 1093.03011) Full Text: DOI
Cintula, Petr A note to the definition of the Ł\(\Pi\)-algebras. (English) Zbl 1086.06008 Soft Comput. 9, No. 8, 575-578 (2005). MSC: 06D35 03G25 PDFBibTeX XMLCite \textit{P. Cintula}, Soft Comput. 9, No. 8, 575--578 (2005; Zbl 1086.06008) Full Text: DOI
Cintula, Petr; Gerla, Brunella Semi-normal forms and functional representation of product fuzzy logic. (English) Zbl 1047.03015 Fuzzy Sets Syst. 143, No. 1, 89-110 (2004). MSC: 03B52 03B35 PDFBibTeX XMLCite \textit{P. Cintula} and \textit{B. Gerla}, Fuzzy Sets Syst. 143, No. 1, 89--110 (2004; Zbl 1047.03015) Full Text: DOI
Cintula, Petr; Navara, Mirko Compactness of fuzzy logics. (English) Zbl 1040.03019 Fuzzy Sets Syst. 143, No. 1, 59-73 (2004). Reviewer: Radko Mesiar (Bratislava) MSC: 03B52 PDFBibTeX XMLCite \textit{P. Cintula} and \textit{M. Navara}, Fuzzy Sets Syst. 143, No. 1, 59--73 (2004; Zbl 1040.03019) Full Text: DOI
Cintula, Petr The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics. (English) Zbl 0994.03015 Fuzzy Sets Syst. 124, No. 3, 289-302 (2001). MSC: 03B52 03B50 PDFBibTeX XMLCite \textit{P. Cintula}, Fuzzy Sets Syst. 124, No. 3, 289--302 (2001; Zbl 0994.03015) Full Text: DOI