The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1968, volume: 33, number: 1

  1. Richmond H. Thomason
    On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:1-7 [Journal]
  2. Robert K. Meyer, Karel Lambert
    Universally Free Logic and Standard Quantification Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:8-26 [Journal]
  3. R. A. Bull
    An Algebraic Study of Tense Logics with Linear Time. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:27-38 [Journal]
  4. George Goe
    Modifications of Quine's ML and Inclusive Quantification Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:39-42 [Journal]
  5. Wayne Richter
    Constructively Accessible Ordinal Numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:43-55 [Journal]
  6. Marian Boykan Pour-El
    Effectively Extensible Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:56-68 [Journal]
  7. Jens Erik Fenstad
    On the Completeness of Some Transfinite Recursive Progressions of Axiomatic Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:69-76 [Journal]
  8. Witold A. Pogorzelski
    On the Scope of the Classical Deduction Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:77-81 [Journal]
  9. R. Routley, H. Montgomery
    On Systems Containing Aristotle's Thesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:82-96 [Journal]
  10. J. Jay Zeman
    Some Calculi with Strong Negation Primitive. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:97-100 [Journal]
  11. Eugene W. Madison
    Structures Elementarily Closed Relative to a Model for Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:101-104 [Journal]
  12. James Rosenberg
    Functional Completeness in One Variable. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:105-106 [Journal]
  13. Frederic Brenton Fitch
    A Note on Recursive Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:107- [Journal]
  14. Richard L. Call
    A Minimal Canonically Complete M-Valued Proper Logic for Each M. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:1, pp:108-110 [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