The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Hugues Leblanc, Peter Roeper
    On Relativizing Kolmogorov's Absolute Probability Functions. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:485-512 [Journal]
  2. Awad A. Iskander
    An Isomorphism Between Rings and Groups. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:513-529 [Journal]
  3. Andreas Blass, Saharon Shelah
    Near Coherence of Filters III: A Simplified Consistency Proof. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:530-538 [Journal]
  4. R. Michael Canjar
    Cofinalities of Countable Ultraproducts: The Existence Theorem. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:539-542 [Journal]
  5. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti
    Some Results on Intermediate Constructive Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:543-562 [Journal]
  6. Ildikó Sain
    An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:563-573 [Journal]
  7. Fabio Bellissima
    Infinite Sets of Nonequivalent Modalities. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:574-582 [Journal]
  8. Igor Urbas
    Paraconsistency and the C-Systems of da Costa. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:583-597 [Journal]
  9. Christopher Menzel
    On an Unsound Proof of the Existence of Possible Worlds. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:598-603 [Journal]
  10. Richard L. Mendelsohn
    Objects and Existence: Reflections on Free Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:604-623 [Journal]
  11. Józef Dudek, Andrzej Kisielewicz
    On Finite Models of Regular Identities. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:624-628 [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