The SCEAS System
Navigation Menu

Journals in DBLP

Notre Dame Journal of Formal Logic
1993, volume: 34, number: 2

  1. Tapani Hyttinen, Saharon Shelah, Heikki Tuuri
    Remarks on Strong Nonstructure Theorems. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:157-168 [Journal]
  2. Fred Sommers
    The World, the Facts, and Primary Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:169-182 [Journal]
  3. Frank O. Wagner
    Stable Groups, Mostly of Finite Exponent. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:183-192 [Journal]
  4. Paul Thom
    Apodeictic Ecthesis. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:193-208 [Journal]
  5. Aris Noah
    Non-Classical Syllogistic Inference and the Method of Resolution. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:209-222 [Journal]
  6. Bozena Piekart
    On Closed Elementary Cuts in Recursively Saturated Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:223-230 [Journal]
  7. J. Roger Hindley
    BCK and BCI Logics, Condensed Detachment and the 2-Property. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:231-250 [Journal]
  8. M. Gordon Beavers
    Extensions of the aleph0-Valued Lukasiewicz Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:251-262 [Journal]
  9. Giovanna Corsi
    Quantified Modal Logics of Positive Rational Numbers and Some Related Systems. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:263-283 [Journal]
  10. György Serény
    Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:284-294 [Journal]
  11. Anthony Bloesch
    A Tableau Style Proof System for Two Paraconsistent Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:2, pp:295-301 [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