The SCEAS System
Navigation Menu

Journals in DBLP

Notre Dame Journal of Formal Logic
1989, volume: 30, number: 1

  1. Michael Dummett
    More about Thoughts. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:1-19 [Journal]
  2. Johan van Benthem
    Notes on Modal Definability. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:20-35 [Journal]
  3. Wayne D. Blizard
    Multiset Theory. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:36-66 [Journal]
  4. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti
    A Constructivism Based on Classical Truth. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:67-90 [Journal]
  5. Alberto Peruzzi
    The Theory of Descriptions Revisited. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:91-104 [Journal]
  6. Franco Montagna
    ``Pathologies'' in Two Syntactic Categories of Partial Maps. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:105-116 [Journal]
  7. John K. Slaney
    On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:117-129 [Journal]
  8. Osamu Morikawa
    Some Modal Logics Based on a Three-Valued Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:130-137 [Journal]
  9. Patrick Cégielski
    The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:138-150 [Journal]
  10. R. A. Bull
    Correction to ``Survey of generalizations of Urquhart semantics''. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:151-153 [Journal]
  11. James C. Owings
    Corrigendum to ``Diagonalization and the Recursion Theorem''. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:153- [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