Petr Cintula

According to our database, Petr Cintula authored at least 70 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?

Guillermo Badia, Petr Cintula, Petr Hájek, Andrew Tedder

Rev. Symb. Log., 2022

Algebraic Semantics for One-Variable Lattice-Valued Logics.

George Metcalfe, Naomi Tokuda, Petr Cintula

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2020

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

2019

Omitting Types Theorem for Fuzzy Logics.

Petr Cintula, Denisa Diaconescu

IEEE Trans. Fuzzy Syst., 2019

Skolemization and Herbrand theorems for lattice-valued logics.

Petr Cintula, Denisa Diaconescu, George Metcalfe

Theor. Comput. Sci., 2019

Toward a general frame semantics for modal many-valued logics.

Petr Cintula, Paula Menchón, Carles Noguera

Soft Comput., 2019

An Abstract Approach to Consequence Relations.

Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli

Rev. Symb. Log., 2019

Editors' introduction: Special issue on non-classical modal and predicate logics.

Petr Cintula, Zach Weber, Shier Ju

Log. J. IGPL, 2019

Translating Classical Probability Logics into Modal Fuzzy Logics.

Paolo Baldi, Petr Cintula, Carles Noguera

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2018

Neighborhood semantics for modal many-valued logics.

Petr Cintula, Carles Noguera

Fuzzy Sets Syst., 2018

Implicational (semilinear) logics III: completeness properties.

Petr Cintula, Carles Noguera

Arch. Math. Log., 2018

Lindenbaum and Pair Extension Lemma in Infinitary Logics.

Marta Bílková, Petr Cintula, Tomás Lávicka

Proceedings of the Logic, Language, Information, and Computation, 2018

2017

A Logical Framework for Graded Predicates.

Petr Cintula, Carles Noguera, Nicholas J. J. Smith

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

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 note on axiomatizations of Pavelka-style complete fuzzy logics.

Petr Cintula

Fuzzy Sets Syst., 2016

Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity.

Petr Cintula, Carles Noguera

Arch. Math. Log., 2016

From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.

Petr Cintula, Carles Noguera, Jonas Rogger

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

2015

A Note on Natural Extensions in Abstract Algebraic Logic.

Petr Cintula, Carles Noguera

Stud Logica, 2015

A Henkin-Style Proof of Completeness for First-order Algebraizable Logics.

Petr Cintula, Carles Noguera

J. Symb. Log., 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

Skolemization for Substructural Logics.

Petr Cintula, Denisa Diaconescu, George Metcalfe

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Editorial: Special issue on non-classical modal and predicate logics.

Petr Cintula, Rosalie Iemhoff, Shier Ju

Log. J. IGPL, 2014

Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.

Petr Cintula, Carles Noguera

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

The Proof by Cases Property and its Variants in Structural Consequence Relations.

Petr Cintula, Carles Noguera

Stud Logica, 2013

Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties.

Petr Cintula, Rostislav Horcík, Carles Noguera

Rev. Symb. Log., 2013

Simple games in Łukasiewicz calculus and their cores.

Petr Cintula, Tomás Kroupa

Kybernetika, 2013

Two-layer modal logics: from fuzzy logics to a general framework.

Petr Cintula, Carles Noguera

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Herbrand Theorems for Substructural Logics.

Petr Cintula, George Metcalfe

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Note on Deduction Theorems in contraction-free logics.

Karel Chvalovský, Petr Cintula

Math. Log. Q., 2012

Editorial.

Petr Cintula, Erich-Peter Klement, Lawrence Neff Stout

Fuzzy Sets Syst., 2012

2011

Special Issue on Mathematical Fuzzy Logic.

Petr Cintula, George Metcalfe, Carles Noguera

J. Log. Comput., 2011

Filters in algebras of fuzzy logics.

Martin Víta, Petr Cintula

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010

Fuzzy logics with an additional involutive negation.

Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara

Fuzzy Sets Syst., 2010

Triangular norm based predicate fuzzy logics.

Petr Cintula, Petr Hájek

Fuzzy Sets Syst., 2010

Admissible rules in the implication-negation fragment of intuitionistic logic.

Petr Cintula, George Metcalfe

Ann. Pure Appl. Log., 2010

Implicational (semilinear) logics I: a new hierarchy.

Petr Cintula, Carles Noguera

Arch. Math. Log., 2010

Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic.

Petr Cintula, George Metcalfe

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

On a Graded Notion of t-Norm and Dominance.

Libor Behounek, Petr Cintula, Ulrich Bodenhofer, Susanne Saminger-Platz, Peter Sarkoci

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009

Towards Evaluation Games for Fuzzy Logics.

Petr Cintula, Ondrej Majer

Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009

Structural Completeness in Fuzzy Logics.

Petr Cintula, George Metcalfe

Notre Dame J. Formal Log., 2009

Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic.

Petr Cintula, Petr Hájek

J. Log. Comput., 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

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

An Abstract Approach to Fuzzy Logics: implicational semilinear logics.

Petr Cintula, Carles Noguera

Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics.

Petr Cintula

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

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

Relations in Fuzzy Class Theory: : Initial steps.

Libor Behounek, Ulrich Bodenhofer, Petr Cintula

Fuzzy Sets Syst., 2008

Logics with disjunction and proof by cases.

San-Min Wang, Petr Cintula

Arch. Math. Log., 2008

2007

Formal systems of fuzzy logic and their fragments.

Petr Cintula, Petr Hájek, Rostislav Horcík

Ann. Pure Appl. Log., 2007

Normal forms for fuzzy logics: a proof-theoretic approach.

Petr Cintula, George Metcalfe

Arch. Math. Log., 2007

Features of Mathematical Theories in Formal Fuzzy Logic.

Libor Behounek, Petr Cintula

Proceedings of the Foundations of Fuzzy Logic and Soft Computing, 2007

Fuzzy Class Theory: Some Advanced Topics.

Petr Cintula, Rostislav Horcík

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

Valverde-Style Representation Results in a Graded Framework.

Libor Behounek, Ulrich Bodenhofer, Petr Cintula

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

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

On theories and models in fuzzy predicate logics.

Petr Cintula, Petr Hájek

J. Symb. Log., 2006

From fuzzy logic to fuzzy mathematics: A methodological manifesto.

Libor Behounek, Petr Cintula

Fuzzy Sets Syst., 2006

Fuzzy logics as the logics of chains.

Libor Behounek, Petr Cintula

Fuzzy Sets Syst., 2006

Weakly Implicative (Fuzzy) Logics I: Basic Properties.

Petr Cintula

Arch. Math. Log., 2006

2005

Short note: on the redundancy of axiom (A3) in BL and MTL.

Petr Cintula

Soft Comput., 2005

A note to the definition of the **-algebras.

Petr Cintula

Soft Comput., 2005

Two notions of compactness in Gödel logics.

Petr Cintula

Stud Logica, 2005

Fuzzy class theory.

Libor Behounek, Petr Cintula

Fuzzy Sets Syst., 2005

Basics of a formal theory of fuzzy partitions.

Petr Cintula

Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

2004

Compactness of fuzzy logics.

Petr Cintula, Mirko Navara

Fuzzy Sets Syst., 2004

Semi-normal forms and functional representation of product fuzzy logic.

Petr Cintula, Brunella Gerla

Fuzzy Sets Syst., 2004

Product L ukasiewicz Logic.

Rostislav Horcík, Petr Cintula

Arch. Math. Log., 2004

2003

Advances in the LPi and LPi1/2i logics.

Petr Cintula

Arch. Math. Log., 2003

Extension of Lukasiewicz Logic by Product Connective.

Rostislav Horcík, Petr Cintula

Proceedings of the Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30, 2003

2001

About axiomatic systems of product fuzzy logic.

Petr Cintula

Soft Comput., 2001

The L[Pi] and L[Pi1/2]propositional and predicate logics.

Petr Cintula

Fuzzy Sets Syst., 2001