The SCEAS System
Navigation Menu

Journals in DBLP

Notre Dame Journal of Formal Logic
1992, volume: 33, number: 1

  1. Saharon Shelah
    The Hanf numbers of stationary logic II: Comparison with other logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:1-12 [Journal]
  2. William C. Purdy
    Surface reasoning. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:13-36 [Journal]
  3. George Englebretsen
    Linear Diagrams for Syllogisms (with Relatitonals). [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:37-69 [Journal]
  4. Juan Barba Escriba
    Two formal systems for situation semantics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:70-88 [Journal]
  5. Timothy Williamson
    An Alternative Rule of disjunction in modal logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:89-100 [Journal]
  6. Allen Hazen
    The interpretability of Robinson arithmentic in the rafified second-order theory of dense linear order. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:101-111 [Journal]
  7. Marcel Crabbé
    On NFU. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:112-119 [Journal]
  8. Renling Jin
    A model in which every Kurepa Tree is thinck. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:120-125 [Journal]
  9. Bernard Linsky
    A note on the "carving up content" principle of Frege's theory of sense. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:126-135 [Journal]
  10. Thomas M. Northon-Smith
    A note on Philip Kitscher's analysis of mathematical truths. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:136-139 [Journal]
  11. C. Barry Jay
    Coherence in category theory and the Church-Rosser property. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:140-143 [Journal]
  12. Gary P. Shannon
    A note on some weak forms of the axiom of choise. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:144-147 [Journal]
  13. Seiki Akama
    The Gentzen-Kripke construction of the intermediate logic LQ. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:148-153 [Journal]
  14. Steven Buechler
    Book review: S. Shelah, Classification Theory and the Number of Non-Isomorphic Models. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1992, v:33, n:1, pp:154-158 [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