The L[Pi] and L[Pi1/2]propositional and predicate logics. - Petr Cintula (Fuzzy Sets Syst., 2001)

About axiomatic systems of product fuzzy logic. - Petr Cintula (Soft Comput., 2001)

Extension of Lukasiewicz Logic by Product Connective. - Rostislav Horcík; Petr Cintula (IFSA, 2003)

Advances in the LPi and LPi1/2i logics. - Petr Cintula (Arch. Math. Log., 2003)

Product L ukasiewicz Logic. - Rostislav Horcík; Petr Cintula (Arch. Math. Log., 2004)

Semi-normal forms and functional representation of product fuzzy logic. - Petr Cintula; Brunella Gerla (Fuzzy Sets Syst., 2004)

Compactness of fuzzy logics. - Petr Cintula; Mirko Navara (Fuzzy Sets Syst., 2004)

Basics of a formal theory of fuzzy partitions. - Petr Cintula (EUSFLAT Conf., 2005)

Fuzzy class theory. - Libor Behounek; Petr Cintula (Fuzzy Sets Syst., 2005)

Two notions of compactness in Gödel logics. - Petr Cintula (Stud Logica, 2005)

A note to the definition of the **-algebras. - Petr Cintula (Soft Comput., 2005)

Short note: on the redundancy of axiom (A3) in BL and MTL. - Petr Cintula (Soft Comput., 2005)

Weakly Implicative (Fuzzy) Logics I: Basic Properties. - Petr Cintula (Arch. Math. Log., 2006)

Fuzzy logics as the logics of chains. - Libor Behounek; Petr Cintula (Fuzzy Sets Syst., 2006)

From fuzzy logic to fuzzy mathematics: A methodological manifesto. - Libor Behounek; Petr Cintula (Fuzzy Sets Syst., 2006)

On theories and models in fuzzy predicate logics. - Petr Cintula; Petr Hájek 001 (J. Symb. Log., 2006)

Residuated logics based on strict triangular norms with an involutive negation. - Petr Cintula; Erich-Peter Klement; Radko Mesiar; Mirko Navara (Math. Log. Q., 2006)

Valverde-Style Representation Results in a Graded Framework. - Libor Behounek; Ulrich Bodenhofer; Petr Cintula (EUSFLAT Conf. (1), 2007)

Fuzzy Class Theory: Some Advanced Topics. - Petr Cintula; Rostislav Horcík (EUSFLAT Conf. (1), 2007)

Features of Mathematical Theories in Formal Fuzzy Logic. - Libor Behounek; Petr Cintula (IFSA (1), 2007)

Normal forms for fuzzy logics: a proof-theoretic approach. - Petr Cintula; George Metcalfe (Arch. Math. Log., 2007)

Formal systems of fuzzy logic and their fragments. - Petr Cintula; Petr Hájek 001; Rostislav Horcík (Ann. Pure Appl. Log., 2007)

Logics with disjunction and proof by cases. - San-Min Wang; Petr Cintula (Arch. Math. Log., 2008)

Relations in Fuzzy Class Theory: : Initial steps. - Libor Behounek; Ulrich Bodenhofer; Petr Cintula (Fuzzy Sets Syst., 2008)

Formal methods for fuzzy mathematics, approximation and reasoning - Part I. - Vilém Novák; Irina Perfilieva; Libor Behounek; Petr Cintula (Fuzzy Sets Syst., 2008)

From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics. - Petr Cintula (ECSQARU, 2009)

An Abstract Approach to Fuzzy Logics: implicational semilinear logics. - Petr Cintula; Carles Noguera (IFSA/EUSFLAT Conf., 2009)

Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. - Petr Cintula; Francesc Esteva; Joan Gispert; Lluís Godo; Franco Montagna; Carles Noguera (Ann. Pure Appl. Log., 2009)

Formal methods for fuzzy mathematics, approximation and reasoning - Part II. - Vilém Novák; Irina Perfilieva; Libor Behounek; Petr Cintula (Fuzzy Sets Syst., 2009)

Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. - Petr Cintula; Petr Hájek 001 (J. Log. Comput., 2009)

Structural Completeness in Fuzzy Logics. - Petr Cintula; George Metcalfe (Notre Dame J. Formal Log., 2009)

Towards Evaluation Games for Fuzzy Logics. - Petr Cintula; Ondrej Majer (Games: Unifying Logic, Language, and Philosophy, 2009)

On a Graded Notion of t-Norm and Dominance. - Libor Behounek; Petr Cintula; Ulrich Bodenhofer; Susanne Saminger-Platz; Peter Sarkoci (ISMVL, 2010)

Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. - Petr Cintula; George Metcalfe (LPAR short papers(Yogyakarta), 2010)

Implicational (semilinear) logics I: a new hierarchy. - Petr Cintula; Carles Noguera (Arch. Math. Log., 2010)

Admissible rules in the implication-negation fragment of intuitionistic logic. - Petr Cintula; George Metcalfe (Ann. Pure Appl. Log., 2010)

Triangular norm based predicate fuzzy logics. - Petr Cintula; Petr Hájek 001 (Fuzzy Sets Syst., 2010)

Fuzzy logics with an additional involutive negation. - Petr Cintula; Erich-Peter Klement; Radko Mesiar; Mirko Navara (Fuzzy Sets Syst., 2010)

Filters in algebras of fuzzy logics. - Martin Víta; Petr Cintula (EUSFLAT Conf., 2011)

Special Issue on Mathematical Fuzzy Logic. - Petr Cintula; George Metcalfe; Carles Noguera (J. Log. Comput., 2011)

Editorial. - Petr Cintula; Erich-Peter Klement; Lawrence Neff Stout (Fuzzy Sets Syst., 2012)

Note on Deduction Theorems in contraction-free logics. - Karel Chvalovský; Petr Cintula (Math. Log. Q., 2012)

Herbrand Theorems for Substructural Logics. - Petr Cintula; George Metcalfe (LPAR, 2013)

Two-layer modal logics: from fuzzy logics to a general framework. - Petr Cintula; Carles Noguera (TACL, 2013)

Simple games in Łukasiewicz calculus and their cores. - Petr Cintula; Tomás Kroupa (Kybernetika, 2013)

Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. - Petr Cintula; Rostislav Horcík; Carles Noguera (Rev. Symb. Log., 2013)

The Proof by Cases Property and its Variants in Structural Consequence Relations. - Petr Cintula; Carles Noguera (Stud Logica, 2013)

Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. - Petr Cintula; Carles Noguera (WoLLIC, 2014)

Editorial: Special issue on non-classical modal and predicate logics. - Petr Cintula; Rosalie Iemhoff; Shier Ju (Log. J. IGPL, 2014)

Skolemization for Substructural Logics. - Petr Cintula; Denisa Diaconescu; George Metcalfe (LPAR, 2015)

Graded dominance and related graded properties of fuzzy connectives. - Libor Behounek; Ulrich Bodenhofer; Petr Cintula; Susanne Saminger-Platz; Peter Sarkoci (Fuzzy Sets Syst., 2015)

A Henkin-Style Proof of Completeness for First-order Algebraizable Logics. - Petr Cintula; Carles Noguera (J. Symb. Log., 2015)

A Note on Natural Extensions in Abstract Algebraic Logic. - Petr Cintula; Carles Noguera (Stud Logica, 2015)

From Kripke to Neighborhood Semantics for Modal Fuzzy Logics. - Petr Cintula; Carles Noguera; Jonas Rogger (IPMU (2), 2016)

Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity. - Petr Cintula; Carles Noguera (Arch. Math. Log., 2016)

A note on axiomatizations of Pavelka-style complete fuzzy logics. - Petr Cintula (Fuzzy Sets Syst., 2016)

Representing strategic games and their equilibria in many-valued logics. - Libor Behounek; Petr Cintula; Chris Fermüller; Tomás Kroupa (Log. J. IGPL, 2016)

A Logical Framework for Graded Predicates. - Petr Cintula; Carles Noguera; Nicholas J. J. Smith (LORI, 2017)

Lindenbaum and Pair Extension Lemma in Infinitary Logics. - Marta Bílková; Petr Cintula; Tomás Lávicka (WoLLIC, 2018)

Implicational (semilinear) logics III: completeness properties. - Petr Cintula; Carles Noguera (Arch. Math. Log., 2018)

Neighborhood semantics for modal many-valued logics. - Petr Cintula; Carles Noguera (Fuzzy Sets Syst., 2018)

Translating Classical Probability Logics into Modal Fuzzy Logics. - Paolo Baldi; Petr Cintula; Carles Noguera (EUSFLAT Conf., 2019)

Editors' introduction: Special issue on non-classical modal and predicate logics. - Petr Cintula; Zach Weber; Shier Ju (Log. J. IGPL, 2019)

An Abstract Approach to Consequence Relations. - Petr Cintula; José Gil-Férez; Tommaso Moraschini; Francesco Paoli (Rev. Symb. Log., 2019)

Toward a general frame semantics for modal many-valued logics. - Petr Cintula; Paula Menchón; Carles Noguera (Soft Comput., 2019)

Skolemization and Herbrand theorems for lattice-valued logics. - Petr Cintula; Denisa Diaconescu; George Metcalfe (Theor. Comput. Sci., 2019)

Omitting Types Theorem for Fuzzy Logics. - Petr Cintula; Denisa Diaconescu (IEEE Trans. Fuzzy Syst., 2019)

Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory. - Paolo Baldi; Petr Cintula; Carles Noguera (Int. J. Comput. Intell. Syst., 2020)

Algebraic Semantics for One-Variable Lattice-Valued Logics. - George Metcalfe; Naomi Tokuda; Petr Cintula (AiML, 2022)

How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? - Guillermo Badia; Petr Cintula; Petr Hájek 001; Andrew Tedder (Rev. Symb. Log., 2022)

One-variable Fragments of First-order Logics. - Petr Cintula; George Metcalfe; Naomi Tokuda (Bull. Symb. Log., 2024)

Relevant Consequence Relations: an Invitation. - Guillermo Badia; Libor Behounek; Petr Cintula; Andrew Tedder (Rev. Symb. Log., 2024)