Journals in DBLP

J. Symb. Log.
1987, volume: 52, number: 3

1. Mitsuhiro Okada
   A Simple Relationship between Buchholz's New System of Ordinal Notations and Takeuti's System of Ordinal Diagrams. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1987, v:52, n:3, pp:577-581 [Journal]
   
2. Marcia J. Groszek
   Combinatorics on Ideals and Forcing with Trees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1987, v:52, n:3, pp:582-593 [Journal]
   
3. Robert A. Di Paola, Alex Heller
   Dominical Categories: Recursion Theory without Elements. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1987, v:52, n:3, pp:594-635 [Journal]
   
4. Mark F. Sharlow
   Proper Classes via the Iterative Conception of Set. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1987, v:52, n:3, pp:636-650 [Journal]
   
5. Peter Lars Dordal
   A Model in which the Base-Matrix Tree Cannot have Cofinal Branches. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1987, v:52, n:3, pp:651-664 [Journal]
   
6. Neil Tennant
   Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1987, v:52, n:3, pp:665-680 [Journal]
   
7. Henry A. Kierstead
   On pi₁-Automorphism of Recursive Linear Orders. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1987, v:52, n:3, pp:681-688 [Journal]
   
8. Nader Vakil
   Monadic Binary Relations and the Monad Systems at Near-Standard Points. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1987, v:52, n:3, pp:689-697 [Journal]
   
9. Alistair H. Lachlan
   Complete Theories with Only Universal and Existential Axioms. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1987, v:52, n:3, pp:698-711 [Journal]
   
10. Hanamantagouda P. Sankappanavar
    Semi-De Morgan Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:712-724 [Journal]
    
11. Michiel van Lambalgen
    Von Mises' Definition of Random Sequences Reconsidered. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:725-755 [Journal]
    
12. Bruce M. Kapron
    Modal Sequents and Definability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:756-762 [Journal]
    
13. Anand Pillay
    First Order Topological Structures and Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:763-778 [Journal]
    
14. Michael H. Albert
    A Preservation Theorem for EC-Structures with Applications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:779-785 [Journal]
    
15. Michael H. Albert, Ross Willard
    Injectives in Finitely Generated Universal Horn Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:786-792 [Journal]
    
16. Zofia Adamowicz
    Open Induction and the True Theory of Rationals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:793-801 [Journal]
    
17. Douglas N. Hoover
    An Analytic Completeness Theorem for Logics with Probability Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:802-816 [Journal]
    
18. Randall Dougherty
    Monotone but not Positive Subsets of the Cantor Space. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:817-818 [Journal]
    
19. Ingemarie Bethke
    On the Existence of Extensional Partial Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:819-833 [Journal]
    
20. Othman Qasim Malhas
    Quantum Logic and the Classical Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:834-841 [Journal]
    
21. Stuart T. Smith
    Nonstandard Characterizations of Recursive Saturation and Resplendency. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:842-863 [Journal]
    
22. J. Michael Dunn, Leonard Lipshitz
    Meeting of the Association for Symbolic Logic: Indianapolis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:3, pp:883-887 [Journal]