| 2008 |
|---|
| 15 | EE | Rostislav Horcík:
How to Solve a System of Linear Equations with Fuzzy Numbers.
Soft Computing for Hybrid Intelligent Systems 2008: 427-436 |
| 14 | EE | Rostislav Horcík:
Solution of a system of linear equations with fuzzy numbers.
Fuzzy Sets and Systems 159(14): 1788-1810 (2008) |
| 2007 |
|---|
| 13 | EE | Petr Cintula,
Rostislav Horcík:
Fuzzy Class Theory: Some Advanced Topics.
EUSFLAT Conf. (1) 2007: 137-143 |
| 12 | 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) |
| 11 | EE | Rostislav Horcík:
On the failure of standard completeness in PiMTL for infinite theories.
Fuzzy Sets and Systems 158(6): 619-624 (2007) |
| 10 | EE | Rostislav Horcík,
Carles Noguera,
Milan Petrik:
On n-contractive fuzzy logics.
Math. Log. Q. 53(3): 268-288 (2007) |
| 9 | EE | Rostislav Horcík:
Alternative Proof of Standard Completeness Theorem for MTL.
Soft Comput. 11(2): 123-129 (2007) |
| 2006 |
|---|
| 8 | EE | Franco Montagna,
Carles Noguera,
Rostislav Horcík:
On Weakly Cancellative Fuzzy Logics.
J. Log. Comput. 16(4): 423-450 (2006) |
| 7 | EE | Rostislav Horcík:
Decidability of Cancellative Extension of Monoidal T-norm Based Logic.
Logic Journal of the IGPL 14(6): 827-843 (2006) |
| 2005 |
|---|
| 6 | EE | Rostislav Horcík:
Stronger version of standard completeness theorem for MTL.
EUSFLAT Conf. 2005: 878-883 |
| 5 | EE | Rostislav Horcík:
Standard completeness theorem for PiMTL.
Arch. Math. Log. 44(4): 413-424 (2005) |
| 2004 |
|---|
| 4 | EE | Rostislav Horcík,
Petr Cintula:
Product L ukasiewicz Logic.
Arch. Math. Log. 43(4): 477-504 (2004) |
| 3 | EE | Rostislav Horcík:
Residuated fuzzy logics with additional connectives and their validation sets.
Fuzzy Sets and Systems 143(1): 75-87 (2004) |
| 2003 |
|---|
| 2 | EE | Rostislav Horcík:
A note on the structure of PiMTL-chains and left-continuous cancellative T-norms.
EUSFLAT Conf. 2003: 614-618 |
| 1 | EE | Rostislav Horcík,
Petr Cintula:
Extension of Lukasiewicz Logic by Product Connective.
IFSA 2003: 180-188 |
