The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Comput.
2003, volume: 13, number: 4

  1. Heinrich Wansing
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:451- [Journal]
  2. Sergei P. Odintsov
    Algebraic Semantics for Paraconsistent Nelson's Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:453-468 [Journal]
  3. Petr Hájek
    Fuzzy Logics with Noncommutative Conjuctions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:469-479 [Journal]
  4. Stefania Lusin, Antonino Salibra
    A Note on Absolutely Unorderable Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:481-502 [Journal]
  5. Anuj Dawar, David Richerby
    Fixed-point Logics with Nondeterministic Choice. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:503-530 [Journal]
  6. Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna
    Hoops and Fuzzy Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:532-555 [Journal]
  7. Ofer Arieli, Marc Denecker
    Reducing Preferential Paraconsistent Reasoning to Classical Entailment. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:557-580 [Journal]
  8. Stephen A. Cook, Yongmei Liu
    A Complete Axiomatization for Blocks World. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:581-594 [Journal]
  9. Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
    Fibring Logics with Topos Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:595-624 [Journal]
  10. Richard Banach
    Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.). [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:625-627 [Journal]
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