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