The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rostislav Horcík: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002