Petr Cintula

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