The SCEAS System
Navigation Menu

Journals in DBLP

Notre Dame Journal of Formal Logic
1994, volume: 35, number: 2

  1. V. Yu. Shavrukov
    A Smart Child of Peano's. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:161-185 [Journal]
  2. Franco Montagna, Antonella Mancini
    A Minimal Predicative Set Theory. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:186-203 [Journal]
  3. Gian Aldo Antonelli
    A Revision-Theoretic Analysis of the Arithmetical Hierarchy. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:204-218 [Journal]
  4. R. Hori, H. Ono, Harold Schellinx
    Extending Intutionistic Linear Logic with Knotted Structural Rules. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:219-242 [Journal]
  5. C. F. M. Vermeulen
    Incremental Semantics for Propositional Texts. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:243-271 [Journal]
  6. Eduardo Mizraji
    Modalities in Vector Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:272-283 [Journal]
  7. Leon Horsten
    Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:284-291 [Journal]
  8. Christopher C. Leary
    The Structure of Pleasant Ideals. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:292-298 [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