Petr Cintula

According to our database1, Petr Cintula authored at least 65 papers between 2001 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Omitting Types Theorem for Fuzzy Logics.
IEEE Trans. Fuzzy Systems, 2019

Skolemization and Herbrand theorems for lattice-valued logics.
Theor. Comput. Sci., 2019

Toward a general frame semantics for modal many-valued logics.
Soft Comput., 2019

An Abstract Approach to Consequence Relations.
Rew. Symb. Logic, 2019

2018
Neighborhood semantics for modal many-valued logics.
Fuzzy Sets and Systems, 2018

Implicational (semilinear) logics III: completeness properties.
Arch. Math. Log., 2018

Lindenbaum and Pair Extension Lemma in Infinitary Logics.
Proceedings of the Logic, Language, Information, and Computation, 2018

2017
A Logical Framework for Graded Predicates.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016
Representing strategic games and their equilibria in many-valued logics.
Logic Journal of the IGPL, 2016

A note on axiomatizations of Pavelka-style complete fuzzy logics.
Fuzzy Sets and Systems, 2016

Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity.
Arch. Math. Log., 2016

From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

2015
A Note on Natural Extensions in Abstract Algebraic Logic.
Studia Logica, 2015

A Henkin-Style Proof of Completeness for First-order Algebraizable Logics.
J. Symb. Log., 2015

Graded dominance and related graded properties of fuzzy connectives.
Fuzzy Sets and Systems, 2015

Skolemization for Substructural Logics.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014
Editorial: Special issue on non-classical modal and predicate logics.
Logic Journal of the IGPL, 2014

Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
Proceedings of the Logic, Language, Information, and Computation, 2014

2013
The Proof by Cases Property and its Variants in Structural Consequence Relations.
Studia Logica, 2013

Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties.
Rew. Symb. Logic, 2013

Simple games in Łukasiewicz calculus and their cores.
Kybernetika, 2013

Two-layer modal logics: from fuzzy logics to a general framework.
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.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012
Editorial.
Fuzzy Sets and Systems, 2012

2011
Special Issue on Mathematical Fuzzy Logic.
J. Log. Comput., 2011

Filters in algebras of fuzzy logics.
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010
Fuzzy logics with an additional involutive negation.
Fuzzy Sets and Systems, 2010

Triangular norm based predicate fuzzy logics.
Fuzzy Sets and Systems, 2010

Admissible rules in the implication-negation fragment of intuitionistic logic.
Ann. Pure Appl. Logic, 2010

Implicational (semilinear) logics I: a new hierarchy.
Arch. Math. Log., 2010

Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic.
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

Note on Deduction Theorems in Contraction-Free Logics.
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

On a Graded Notion of t-Norm and Dominance.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
Towards Evaluation Games for Fuzzy Logics.
Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009

Structural Completeness in Fuzzy Logics.
Notre Dame Journal of Formal Logic, 2009

Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic.
J. Log. Comput., 2009

Formal methods for fuzzy mathematics, approximation and reasoning - Part II.
Fuzzy Sets and Systems, 2009

Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies.
Ann. Pure Appl. Logic, 2009

An Abstract Approach to Fuzzy Logics: implicational semilinear logics.
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.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008
Formal methods for fuzzy mathematics, approximation and reasoning - Part I.
Fuzzy Sets and Systems, 2008

Relations in Fuzzy Class Theory: : Initial steps.
Fuzzy Sets and Systems, 2008

Logics with disjunction and proof by cases.
Arch. Math. Log., 2008

2007
Formal systems of fuzzy logic and their fragments.
Ann. Pure Appl. Logic, 2007

Normal forms for fuzzy logics: a proof-theoretic approach.
Arch. Math. Log., 2007

Features of Mathematical Theories in Formal Fuzzy Logic.
Proceedings of the Foundations of Fuzzy Logic and Soft Computing, 2007

Fuzzy Class Theory: Some Advanced Topics.
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.
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.
Math. Log. Q., 2006

On theories and models in fuzzy predicate logics.
J. Symb. Log., 2006

From fuzzy logic to fuzzy mathematics: A methodological manifesto.
Fuzzy Sets and Systems, 2006

Fuzzy logics as the logics of chains.
Fuzzy Sets and Systems, 2006

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

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

A note to the definition of the **-algebras.
Soft Comput., 2005

Two notions of compactness in Gödel logics.
Studia Logica, 2005

Fuzzy class theory.
Fuzzy Sets and Systems, 2005

Basics of a formal theory of fuzzy partitions.
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.
Fuzzy Sets and Systems, 2004

Semi-normal forms and functional representation of product fuzzy logic.
Fuzzy Sets and Systems, 2004

Product L ukasiewicz Logic.
Arch. Math. Log., 2004

2003
Advances in the LPi and LPi1/2i logics.
Arch. Math. Log., 2003

Extension of Lukasiewicz Logic by Product Connective.
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.
Soft Comput., 2001

The L[Pi] and L[Pi1/2]propositional and predicate logics.
Fuzzy Sets and Systems, 2001


  Loading...