The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Michael Detlefsen
    Introduction. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:313- [Journal]
  2. Johan van Benthem
    Logical Constants Across Varying Types. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:315-342 [Journal]
  3. Michael Byrd
    Russell, Logicism, and the Choice of Logical Constants. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:343-361 [Journal]
  4. Kosta Dosen
    Logical Constants as Punctuation Marks. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:362-381 [Journal]
  5. George Englebretsen
    Formatives. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:382-389 [Journal]
  6. William G. Lycan
    Logical Constants and the Glory of Truth-Conditional Semantics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:390-400 [Journal]
  7. Tim McCarthy
    Logical Form and Radical Interpretation. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:401-419 [Journal]
  8. Grigori Mints
    The Completeness of Provable Realizability. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:420-441 [Journal]
  9. Jan M. Smith
    Propositional Functions and Families of Types. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:442-458 [Journal]
  10. Neil Tennant
    Truth Table Logic, with a Survey of Embeddability Results. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:459-484 [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