The SCEAS System
Navigation Menu

Journals in DBLP

Notre Dame Journal of Formal Logic
1998, volume: 39, number: 1

  1. John P. Burgess, Allen Hazen
    Predicative Logic and Formal Arithmetic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:1-17 [Journal]
  2. Wim Ruitenburg
    Basic Predicate Calculus. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:18-46 [Journal]
  3. Alexander Bochman
    Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:47-73 [Journal]
  4. Xuegang Wang, Peter Mott
    A Variant of Thomason's First-Order Logic CF Based on Situations. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:74-93 [Journal]
  5. H. Naruse, Bayu Surarso, H. Ono
    A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:94-113 [Journal]
  6. Arthur Sullivan
    Singular Propositions and Singular Thoughts. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:114-127 [Journal]
  7. Timothy Williamson
    Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:128-134 [Journal]
  8. Jean-Yves Béziau
    Idempotent Full Paraconsistent Negations are not Algebraizable. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:135-139 [Journal]
  9. James H. Schmerl
    Recursive Models and the Divisibility Poset. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:140-148 [Journal]
  10. Aladdin M. Yaqub
    Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:149-155 [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