The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Henryk Kotlarski, Richard Kaye
    Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:1-14 [Journal]
  2. Roland Hinnion
    Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:15-40 [Journal]
  3. Marie La Palme Reyes, John Macnamara, Gonzalo E. Reyes
    Functoriality and Grammatical Role in Syllogisms. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:41-66 [Journal]
  4. Gian Aldo Antonelli
    The Complexity of Revision. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:67-72 [Journal]
  5. Eric Hammer
    Reasoning with Sentences and Diagrams. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:73-87 [Journal]
  6. Ramon Jansana
    Some Logics Related to von Wright's Logic of Place. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:88-98 [Journal]
  7. David Charles McCarty
    On Theorems of Gödel and Kreisel: Completeness and Markov's Principle. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:99-107 [Journal]
  8. Stephen Pollard, Norman M. Martin
    Contractions of Closure Systems. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:108-115 [Journal]
  9. Greg Restall
    Subintuitionistic Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:116-129 [Journal]
  10. David Auerbach
    Saying it with Numerals. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:130-146 [Journal]
  11. Domenico Zambella
    Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Delta0s + exp. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:147-157 [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