The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
1999, volume: 63, number: 2

  1. Alexander Yashin
    New Intuitionistic Logical Constants and Novikov Completeness. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:63, n:2, pp:151-180 [Journal]
  2. Ryo Kashima, Norihiro Kamide
    Substructural Implicational Logics Including the Relevant Logic E. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:63, n:2, pp:181-212 [Journal]
  3. Clint J. van Alten, James G. Raftery
    The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:63, n:2, pp:213-222 [Journal]
  4. R. Elgueta, Ramon Jansana
    Definability of Leibniz Equality. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:63, n:2, pp:223-243 [Journal]
  5. Paolo Gentilini
    Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:63, n:2, pp:245-268 [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