Search the dblp DataBase

Publications of Author

1. Rostislav Horcík, Petr Cintula
   Extension of Lukasiewicz Logic by Product Connective. [Citation Graph (0, 0)][DBLP]
   IFSA, 2003, pp:180-188 [Conf]
   
2. Rostislav Horcík, Petr Cintula
   Product L ukasiewicz Logic. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2004, v:43, n:4, pp:477-504 [Journal]
   
3. Rostislav Horcík
   Standard completeness theorem for PiMTL. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:4, pp:413-424 [Journal]
   
4. Rostislav Horcík
   Residuated fuzzy logics with additional connectives and their validation sets. [Citation Graph (0, 0)][DBLP]
   Fuzzy Sets and Systems, 2004, v:143, n:1, pp:75-87 [Journal]
   
5. Rostislav Horcík
   On the failure of standard completeness in PiMTL for infinite theories. [Citation Graph (0, 0)][DBLP]
   Fuzzy Sets and Systems, 2007, v:158, n:6, pp:619-624 [Journal]
   
6. Rostislav Horcík
   Decidability of Cancellative Extension of Monoidal T-norm Based Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2006, v:14, n:6, pp:827-843 [Journal]
   
7. Franco Montagna, Carles Noguera, Rostislav Horcík
   On Weakly Cancellative Fuzzy Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:4, pp:423-450 [Journal]
   
8. Rostislav Horcík
   Alternative Proof of Standard Completeness Theorem for MTL. [Citation Graph (0, 0)][DBLP]
   Soft Comput., 2007, v:11, n:2, pp:123-129 [Journal]
   
9. 
   Fuzzy Class Theory: Some Advanced Topics. [Citation Graph (, )][DBLP]
   
   
10. 
    Stronger version of standard completeness theorem for MTL. [Citation Graph (, )][DBLP]
    
    
11. 
    A note on the structure of PiMTL-chains and left-continuous cancellative T-norms. [Citation Graph (, )][DBLP]
    
    
12. 
    Formal systems of fuzzy logic and their fragments. [Citation Graph (, )][DBLP]