Skip to content

Petr Cintula

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

17

Venues

7

Active years

2003–2022

Best venue rank

C

Where they publish

Papers

17 indexed papers, newest first.

YearVenueTitleAuthors
2022AiMLAlgebraic Semantics for One-Variable Lattice-Valued Logics.George Metcalfe, Naomi Tokuda, Petr Cintula
2019EUSFLATTranslating Classical Probability Logics into Modal Fuzzy Logics.Paolo Baldi, Petr Cintula, Carles Noguera
2018WoLLICLindenbaum and Pair Extension Lemma in Infinitary Logics.Marta Blkov, Petr Cintula, Toms Lvicka
2016IPMUFrom Kripke to Neighborhood Semantics for Modal Fuzzy Logics.Petr Cintula, Carles Noguera, Jonas Rogger
2015LPARSkolemization for Substructural Logics.Petr Cintula, Denisa Diaconescu, George Metcalfe
2014WoLLICModal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.Petr Cintula, Carles Noguera
2013LPARHerbrand Theorems for Substructural Logics.Petr Cintula, George Metcalfe
2011EUSFLATFilters in algebras of fuzzy logics.Martin Vta, Petr Cintula
2010LPARNote on Deduction Theorems in Contraction-Free Logics.Karel Chvalovsk, Petr Cintula
2010LPARComplexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic.Petr Cintula, George Metcalfe
2009ECSQARUFrom (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics.Petr Cintula
2009EUSFLATAn Abstract Approach to Fuzzy Logics: implicational semilinear logics.Petr Cintula, Carles Noguera
2007EUSFLATValverde-Style Representation Results in a Graded Framework.Libor Behounek, Ulrich Bodenhofer, Petr Cintula
2007EUSFLATFuzzy Class Theory: Some Advanced Topics.Petr Cintula, Rostislav Horck
2007IFSAFeatures of Mathematical Theories in Formal Fuzzy Logic.Libor Behounek, Petr Cintula
2005EUSFLATBasics of a formal theory of fuzzy partitions.Petr Cintula
2003IFSAExtension of Lukasiewicz Logic by Product Connective.Rostislav Horck, Petr Cintula