dblp.uni-trier.dewww.uni-trier.de

Petr Cintula

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
24EESan-min Wang, Petr Cintula: Logics with disjunction and proof by cases. Arch. Math. Log. 47(5): 435-446 (2008)
23EEVilém Novák, Irina Perfilieva, Libor Behounek, Petr Cintula: Formal methods for fuzzy mathematics, approximation and reasoning - Part I. Fuzzy Sets and Systems 159(14): 1727-1728 (2008)
22EELibor Behounek, Ulrich Bodenhofer, Petr Cintula: Relations in Fuzzy Class Theory: : Initial steps. Fuzzy Sets and Systems 159(14): 1729-1772 (2008)
2007
21EEPetr Cintula, Rostislav Horcík: Fuzzy Class Theory: Some Advanced Topics. EUSFLAT Conf. (1) 2007: 137-143
20EELibor Behounek, Ulrich Bodenhofer, Petr Cintula: Valverde-Style Representation Results in a Graded Framework. EUSFLAT Conf. (1) 2007: 153-160
19EELibor Behounek, Petr Cintula: Features of Mathematical Theories in Formal Fuzzy Logic. IFSA (1) 2007: 523-532
18EEPetr Cintula, Petr Hájek, Rostislav Horcík: Formal systems of fuzzy logic and their fragments. Ann. Pure Appl. Logic 150(1-3): 40-65 (2007)
17EEPetr Cintula, George Metcalfe: Normal forms for fuzzy logics: a proof-theoretic approach. Arch. Math. Log. 46(5-6): 347-363 (2007)
2006
16EEPetr Cintula: Weakly Implicative (Fuzzy) Logics I: Basic Properties. Arch. Math. Log. 45(6): 673-704 (2006)
15EELibor Behounek, Petr Cintula: Fuzzy logics as the logics of chains. Fuzzy Sets and Systems 157(5): 604-610 (2006)
14EELibor Behounek, Petr Cintula: From fuzzy logic to fuzzy mathematics: A methodological manifesto. Fuzzy Sets and Systems 157(5): 642-646 (2006)
13EEPetr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara: Residuated logics based on strict triangular norms with an involutive negation. Math. Log. Q. 52(3): 269-282 (2006)
2005
12EEPetr Cintula: Basics of a formal theory of fuzzy partitions. EUSFLAT Conf. 2005: 884-888
11EELibor Behounek, Petr Cintula: Fuzzy class theory. Fuzzy Sets and Systems 154(1): 34-55 (2005)
10EEPetr Cintula: Short note: on the redundancy of axiom (A3) in BL and MTL. Soft Comput. 9(12): 942-942 (2005)
9EEPetr Cintula: A note to the definition of the **-algebras. Soft Comput. 9(8): 575-578 (2005)
8EEPetr Cintula: Two notions of compactness in Gödel logics. Studia Logica 81(1): 99-123 (2005)
2004
7EERostislav Horcík, Petr Cintula: Product L ukasiewicz Logic. Arch. Math. Log. 43(4): 477-504 (2004)
6EEPetr Cintula, Mirko Navara: Compactness of fuzzy logics. Fuzzy Sets and Systems 143(1): 59-73 (2004)
5EEPetr Cintula, Brunella Gerla: Semi-normal forms and functional representation of product fuzzy logic. Fuzzy Sets and Systems 143(1): 89-110 (2004)
2003
4EERostislav Horcík, Petr Cintula: Extension of Lukasiewicz Logic by Product Connective. IFSA 2003: 180-188
3EEPetr Cintula: Advances in the LPi and LPi1/2i logics. Arch. Math. Log. 42(5): 449-468 (2003)
2001
2EEPetr Cintula: The L[Pi] and L[Pi1/2]propositional and predicate logics. Fuzzy Sets and Systems 124(3): 289-302 (2001)
1EEPetr Cintula: About axiomatic systems of product fuzzy logic. Soft Comput. 5(3): 243-244 (2001)

Coauthor Index

1Libor Behounek [11] [14] [15] [19] [20] [22] [23]
2Ulrich Bodenhofer [20] [22]
3Brunella Gerla [5]
4Petr Hájek [18]
5Rostislav Horcík [4] [7] [18] [21]
6Erich-Peter Klement [13]
7Radko Mesiar [13]
8George Metcalfe [17]
9Mirko Navara [6] [13]
10Vilém Novák [23]
11Irina Perfilieva [23]
12San-min Wang [24]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)