Petr Cintula

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 18

Top Topics

Propositional Logic

Top Venues

Fuzzy Sets Syst.

Rev. Symb. Log.

Publications

George Metcalfe, Naomi Tokuda, Petr Cintula
Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML (2022)
Guillermo Badia, Petr Cintula, Petr Hájek, Andrew Tedder
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? Rev. Symb. Log. 15 (2) (2022)
Petr Cintula, George Metcalfe, Naomi Tokuda
Algebraic semantics for one-variable lattice-valued logics. CoRR (2022)
Paolo Baldi, Petr Cintula, Carles Noguera
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory. Int. J. Comput. Intell. Syst. 13 (1) (2020)
Petr Cintula, Denisa Diaconescu, George Metcalfe
Skolemization and Herbrand theorems for lattice-valued logics. Theor. Comput. Sci. 768 (2019)
Petr Cintula, Ma. Paula Menchón, Carles Noguera
Toward a general frame semantics for modal many-valued logics. Soft Comput. 23 (7) (2019)
Petr Cintula, Denisa Diaconescu
Omitting Types Theorem for Fuzzy Logics. IEEE Trans. Fuzzy Syst. 27 (2) (2019)
Petr Cintula, Z. Weber, Shier Ju
Editors' introduction: Special issue on non-classical modal and predicate logics. Log. J. IGPL 27 (4) (2019)
Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli
An Abstract Approach to Consequence Relations. Rev. Symb. Log. 12 (2) (2019)
Paolo Baldi, Petr Cintula, Carles Noguera
Translating Classical Probability Logics into Modal Fuzzy Logics. EUSFLAT Conf. (2019)
Petr Cintula, Carles Noguera
Implicational (semilinear) logics III: completeness properties. Arch. Math. Log. 57 (3-4) (2018)
Petr Cintula, Carles Noguera
Neighborhood semantics for modal many-valued logics. Fuzzy Sets Syst. 345 (2018)
Marta Bílková, Petr Cintula, Tomás Lávicka
Lindenbaum and Pair Extension Lemma in Infinitary Logics. WoLLIC (2018)
Petr Cintula, Carles Noguera, Nicholas J. J. Smith
A Logical Framework for Graded Predicates. LORI (2017)
Petr Cintula, Carles Noguera, Jonas Rogger
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics. IPMU (2) (2016)
Petr Cintula
A note on axiomatizations of Pavelka-style complete fuzzy logics. Fuzzy Sets Syst. 292 (2016)
Petr Cintula, Carles Noguera
Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity. Arch. Math. Log. 55 (3-4) (2016)
Libor Behounek, Petr Cintula, Chris Fermüller, Tomás Kroupa
Representing strategic games and their equilibria in many-valued logics. Log. J. IGPL 24 (3) (2016)
Petr Cintula, Denisa Diaconescu, George Metcalfe
Skolemization for Substructural Logics. LPAR (2015)
Libor Behounek, Ulrich Bodenhofer, Petr Cintula, Susanne Saminger-Platz, Peter Sarkoci
Graded dominance and related graded properties of fuzzy connectives. Fuzzy Sets Syst. 262 (2015)
Petr Cintula, Carles Noguera
A Note on Natural Extensions in Abstract Algebraic Logic. Stud Logica 103 (4) (2015)
Petr Cintula, Carles Noguera
A Henkin-Style Proof of Completeness for First-order Algebraizable Logics. J. Symb. Log. 80 (1) (2015)
Petr Cintula, Carles Noguera
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. WoLLIC (2014)
Petr Cintula, Rosalie Iemhoff, Shier Ju
Editorial: Special issue on non-classical modal and predicate logics. Log. J. IGPL 22 (3) (2014)
Petr Cintula, George Metcalfe
Herbrand Theorems for Substructural Logics. LPAR (2013)
Petr Cintula, Tomás Kroupa
Simple games in Łukasiewicz calculus and their cores. Kybernetika 49 (3) (2013)
Petr Cintula, Carles Noguera
Two-layer modal logics: from fuzzy logics to a general framework. TACL (2013)
Petr Cintula, Rostislav Horcík, Carles Noguera
Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. Rev. Symb. Log. 6 (3) (2013)
Petr Cintula, Carles Noguera
The Proof by Cases Property and its Variants in Structural Consequence Relations. Stud Logica 101 (4) (2013)
Petr Cintula, Erich-Peter Klement, Lawrence Neff Stout
Editorial. Fuzzy Sets Syst. 197 (2012)
Karel Chvalovský, Petr Cintula
Note on Deduction Theorems in contraction-free logics. Math. Log. Q. 58 (3) (2012)
Petr Cintula, George Metcalfe, Carles Noguera
Special Issue on Mathematical Fuzzy Logic. J. Log. Comput. 21 (5) (2011)
Martin Vita, Petr Cintula
Filters in algebras of fuzzy logics. EUSFLAT Conf. (2011)
Petr Cintula, George Metcalfe
Admissible rules in the implication-negation fragment of intuitionistic logic. Ann. Pure Appl. Log. 162 (2) (2010)
Petr Cintula, Petr Hájek
Triangular norm based predicate fuzzy logics. Fuzzy Sets Syst. 161 (3) (2010)
Libor Behounek, Petr Cintula, Ulrich Bodenhofer, Susanne Saminger-Platz, Peter Sarkoci
On a Graded Notion of t-Norm and Dominance. ISMVL (2010)
Karel Chvalovský, Petr Cintula
Note on Deduction Theorems in Contraction-Free Logics. LPAR short papers(Yogyakarta) (2010)
Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara
Fuzzy logics with an additional involutive negation. Fuzzy Sets Syst. 161 (3) (2010)
Petr Cintula, Carles Noguera
Implicational (semilinear) logics I: a new hierarchy. Arch. Math. Log. 49 (4) (2010)
Petr Cintula, George Metcalfe
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. LPAR short papers(Yogyakarta) (2010)
Petr Cintula, Petr Hájek
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. J. Log. Comput. 19 (2) (2009)
Petr Cintula
From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics. ECSQARU (2009)
Petr Cintula, Carles Noguera
An Abstract Approach to Fuzzy Logics: implicational semilinear logics. IFSA/EUSFLAT Conf. (2009)
Petr Cintula, George Metcalfe
Structural Completeness in Fuzzy Logics. Notre Dame J. Formal Log. 50 (2) (2009)
Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna, Carles Noguera
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Ann. Pure Appl. Log. 160 (1) (2009)
Vilém Novák, Irina Perfilieva, Libor Behounek, Petr Cintula
Formal methods for fuzzy mathematics, approximation and reasoning - Part II. Fuzzy Sets Syst. 160 (8) (2009)
San-Min Wang, Petr Cintula
Logics with disjunction and proof by cases. Arch. Math. Log. 47 (5) (2008)
Libor Behounek, Ulrich Bodenhofer, Petr Cintula
Relations in Fuzzy Class Theory: : Initial steps. Fuzzy Sets Syst. 159 (14) (2008)
Vilém Novák, Irina Perfilieva, Libor Behounek, Petr Cintula
Formal methods for fuzzy mathematics, approximation and reasoning - Part I. Fuzzy Sets Syst. 159 (14) (2008)
Petr Cintula, George Metcalfe
Normal forms for fuzzy logics: a proof-theoretic approach. Arch. Math. Log. 46 (5-6) (2007)
Libor Behounek, Ulrich Bodenhofer, Petr Cintula
Valverde-Style Representation Results in a Graded Framework. EUSFLAT Conf. (1) (2007)
Libor Behounek, Petr Cintula
Features of Mathematical Theories in Formal Fuzzy Logic. IFSA (1) (2007)
Petr Cintula, Petr Hájek, Rostislav Horcík
Formal systems of fuzzy logic and their fragments. Ann. Pure Appl. Log. 150 (1-3) (2007)
Petr Cintula, Rostislav Horcík
Fuzzy Class Theory: Some Advanced Topics. EUSFLAT Conf. (1) (2007)
Petr Cintula, Petr Hájek
On theories and models in fuzzy predicate logics. J. Symb. Log. 71 (3) (2006)
Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara
Residuated logics based on strict triangular norms with an involutive negation. Math. Log. Q. 52 (3) (2006)
Libor Behounek, Petr Cintula
Fuzzy logics as the logics of chains. Fuzzy Sets Syst. 157 (5) (2006)
Libor Behounek, Petr Cintula
From fuzzy logic to fuzzy mathematics: A methodological manifesto. Fuzzy Sets Syst. 157 (5) (2006)
Petr Cintula
Weakly Implicative (Fuzzy) Logics I: Basic Properties. Arch. Math. Log. 45 (6) (2006)
Petr Cintula
Basics of a formal theory of fuzzy partitions. EUSFLAT Conf. (2005)
Libor Behounek, Petr Cintula
Fuzzy class theory. Fuzzy Sets Syst. 154 (1) (2005)
Petr Cintula
Short note: on the redundancy of axiom (A3) in BL and MTL. Soft Comput. 9 (12) (2005)
Petr Cintula
A note to the definition of the **-algebras. Soft Comput. 9 (8) (2005)
Petr Cintula
Two notions of compactness in Gödel logics. Stud Logica 81 (1) (2005)
Petr Cintula, Brunella Gerla
Semi-normal forms and functional representation of product fuzzy logic. Fuzzy Sets Syst. 143 (1) (2004)
Rostislav Horcík, Petr Cintula
Product L ukasiewicz Logic. Arch. Math. Log. 43 (4) (2004)
Petr Cintula, Mirko Navara
Compactness of fuzzy logics. Fuzzy Sets Syst. 143 (1) (2004)
Rostislav Horcík, Petr Cintula
Extension of Lukasiewicz Logic by Product Connective. IFSA (2003)
Petr Cintula
Advances in the LPi and LPi1/2i logics. Arch. Math. Log. 42 (5) (2003)
Petr Cintula
About axiomatic systems of product fuzzy logic. Soft Comput. 5 (3) (2001)
Petr Cintula
The L[Pi] and L[Pi1/2]propositional and predicate logics. Fuzzy Sets Syst. 124 (3) (2001)