The SCEAS System
Navigation Menu

Journals in DBLP

Notre Dame Journal of Formal Logic
1995, volume: 36, number: 3

  1. Peter Roeper, Hugues Leblanc
    Consequence and Confirmation. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:341-363 [Journal]
  2. Michael Makkai
    On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:364-381 [Journal]
  3. Michaelis Michael, A. V. Townsend
    Binary Quantification Systems. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:382-395 [Journal]
  4. Michiro Kondo
    Classification of Weak DeMorgan Algebras. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:396-406 [Journal]
  5. José M. Méndez, Francisco Salto
    Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:407-413 [Journal]
  6. J. E. Helmreich
    Expansions of Ultrahomogeneous Graphs. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:414-424 [Journal]
  7. Masasi Higasikawa
    Partition Principles and Infinite Sums of Cardinal Numbers. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:425-434 [Journal]
  8. Norman D. Megill
    A Finitely Axiomatized Formalization of Predicate Calculus with Equality. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:435-453 [Journal]
  9. Athanassios Tzouvaras
    Worlds of Homogeneous Artifacts. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:454-474 [Journal]
  10. Kieron O'Hara, Han Reichgelt, Nigel Shadbolt
    Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:475-495 [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