Journals in DBLP

J. Symb. Log.
1992, volume: 57, number: 4

1. M. C. Stanley
   Forcing Disable. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1153-1175 [Journal]
   
2. Gisèle Fischer Servi
   Nonmonotonic Consequence Based on Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1176-1197 [Journal]
   
3. Ursula Gropp
   There Is No Sharp Transitivity on q⁶ when q Is a Type of Morely Rank 2. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1198-1212 [Journal]
   
4. Roger D. Maddux
   Relation Algebras of Every Dimension. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1213-1229 [Journal]
   
5. Xiaoping Wang
   The McKinsey Axiom Is Not Compact. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1230-1238 [Journal]
   
6. Ulrich Kohlenbach
   Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1239-1273 [Journal]
   
7. Michiel van Lambalgen
   Independence, Randomness and the Axiom of Choice. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1274-1304 [Journal]
   
8. Misao Nagayama
   On Boolean Algebras and Integrally Closed Commutative Regular Rings. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1305-1318 [Journal]
   
9. Dov M. Gabbay, Ruy J. G. B. de Queiroz
   Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1319-1365 [Journal]
   
10. A. Pétry
    Stratified Languages. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1366-1376 [Journal]
    
11. Michael Zakharyaschev
    Canonical Formulas for K4, Part I: Basic Results. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1377-1402 [Journal]
    
12. Avner Landver
    Singular sigma-Dense Trees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1403-1416 [Journal]
    
13. Dirk van Dalen
    The Continuum and First-Order Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1417-1424 [Journal]
    
14. Ewa Orlowska
    Relational Proof System for Relevant Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1425-1440 [Journal]
    
15. Paul Corazza
    Ramsey Sets, the Ramsey Ideal, and Other Classes over R. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1441-1468 [Journal]
    
16. Alexandre V. Borovik, Ali Nesin
    On the Schur-Zassenhaus Theorem for Groups of Finite Morley Rank. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1469-1477 [Journal]