 | 2011 |
|---|
| 19 |       | Rostislav Horcík:
On the Structure of Finite Integral Commutative Residuated Chains.
J. Log. Comput. 21(5): 717-728 (2011) |
| 18 | | Rostislav Horcík,
Kazushige Terui:
Disjunction property and complexity of substructural logics.
Theor. Comput. Sci. 412(31): 3992-4006 (2011) |
| 2010 |
|---|
| 17 | | Rostislav Horcík:
Solutions to Some Open Problems on Totally Ordered Monoids.
J. Log. Comput. 20(4): 977-983 (2010) |
| 2009 |
|---|
| 16 | | Rostislav Horcík,
Franco Montagna:
Archimedean classes in integral commutative residuated chains.
Math. Log. Q. 55(3): 320-336 (2009) |
| 2008 |
|---|
| 15 | | Rostislav Horcík:
How to Solve a System of Linear Equations with Fuzzy Numbers.
Soft Computing for Hybrid Intelligent Systems 2008: 427-436 |
| 14 | | Rostislav Horcík:
Solution of a system of linear equations with fuzzy numbers.
Fuzzy Sets and Systems 159(14): 1788-1810 (2008) |
| 2007 |
|---|
| 13 | | Petr Cintula,
Rostislav Horcík:
Fuzzy Class Theory: Some Advanced Topics.
EUSFLAT Conf. (1) 2007: 137-143 |
| 12 | | 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 | | Rostislav Horcík:
On the failure of standard completeness in PiMTL for infinite theories.
Fuzzy Sets and Systems 158(6): 619-624 (2007) |
| 10 | | Rostislav Horcík,
Carles Noguera,
Milan Petrík:
On n-contractive fuzzy logics.
Math. Log. Q. 53(3): 268-288 (2007) |
| 9 | | Rostislav Horcík:
Alternative Proof of Standard Completeness Theorem for MTL.
Soft Comput. 11(2): 123-129 (2007) |
| 2006 |
|---|
| 8 | | Franco Montagna,
Carles Noguera,
Rostislav Horcík:
On Weakly Cancellative Fuzzy Logics.
J. Log. Comput. 16(4): 423-450 (2006) |
| 7 | | 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 | | Rostislav Horcík:
Stronger version of standard completeness theorem for MTL.
EUSFLAT Conf. 2005: 878-883 |
| 5 | | Rostislav Horcík:
Standard completeness theorem for PiMTL.
Arch. Math. Log. 44(4): 413-424 (2005) |
| 2004 |
|---|
| 4 | | Rostislav Horcík,
Petr Cintula:
Product L ukasiewicz Logic.
Arch. Math. Log. 43(4): 477-504 (2004) |
| 3 | | Rostislav Horcík:
Residuated fuzzy logics with additional connectives and their validation sets.
Fuzzy Sets and Systems 143(1): 75-87 (2004) |
| 2003 |
|---|
| 2 | | Rostislav Horcík:
A note on the structure of PiMTL-chains and left-continuous cancellative T-norms.
EUSFLAT Conf. 2003: 614-618 |
| 1 | | Rostislav Horcík,
Petr Cintula:
Extension of Lukasiewicz Logic by Product Connective.
IFSA 2003: 180-188 |
Data released under the ODC-BY 1.0 license — See also our legal information page