The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
2001, volume: 66, number: 4

  1. Ernest Schimmerling, W. Hugh Woodin
    The Jensen Covering Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1505-1523 [Journal]
  2. Misao Nagayama, Mitsuhiro Okada
    A New Correctness Criterion for The Proof Nets of Non-Commutative Multiplicative Linear Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1524-1542 [Journal]
  3. Timothy McNicholl
    On The Convergence of Query-Bounded Computations and Logical Closure Properties of C.E. Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1543-1560 [Journal]
  4. Martin W. Bunder, Wil Dekkers
    Pure Type Systems with More Liberal Rules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1561-1580 [Journal]
  5. Sven Ove Hansson, Eduardo L. Fermé, John Cantwell, Marcelo A. Falappa
    Credibility Limited Revision. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1581-1596 [Journal]
  6. William P. R. Mitchell, Harold Simmons
    Monoid Based Semantics for Linear Formulas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1597-1619 [Journal]
  7. Xavier Caicedo, Roberto Cignoli
    An Algebraic Approach to Intuitionistic Connectives. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1620-1636 [Journal]
  8. Bruno Poizat
    Quelques Modestes Remarques A Propos D'Une Conséquence Inattendue D'Un Résultat Surprenant de Monsieur Frank Olaf Wagner. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1637-1646 [Journal]
  9. Bruno Poizat
    L'Égalité au Cube. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1647-1676 [Journal]
  10. Tapani Hyttinen, Mika Rautila
    The Canary Tree Revisited. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1677-1694 [Journal]
  11. Douglas S. Bridges, Ayan Mahalanobis
    Bounded Variation Implies Regulated: A Constructive Proof. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1695-1700 [Journal]
  12. Timothy Bays
    On Tarski on Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1701-1726 [Journal]
  13. J. Zashev
    On The Recursion Theorem in Iterative Operative Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1727-1748 [Journal]
  14. Douglas A. Cenzer, André Nies
    Initial Segments of The Lattice of PI01 Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1749-1765 [Journal]
  15. Ali Enayat
    Power-Like Models of Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1766-1782 [Journal]
  16. Chris Miller
    Expansions of Dense Linear Orders with The Intermediate Value Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1783-1790 [Journal]
  17. William C. Calhoun, Manuel Lerman
    Embedding Finite Lattices into The Ideals of Computably Enumerable Turing Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1791-1802 [Journal]
  18. Sara Negri, Jan von Plato
    Sequent Calculus in Natural Deduction Style. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1803-1816 [Journal]
  19. Joseph Johns
    An Open Mapping Theorem for O-Minimal Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1817-1836 [Journal]
  20. Matthew Foreman, Menachem Magidor, Ralf-Dieter Schindler
    The Consistency Strength of Successive Cardinals with The Tree Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1837-1847 [Journal]
  21. Sergei Tupailo
    Realization of Analysis into Explicit Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1848-1864 [Journal]
  22. Chaz Schlindwein
    Shelah's Work on Non-Semi-Proper Iterations, II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1865-1883 [Journal]
  23. Steven Buechler, Colleen Hoover
    The Classification of Small Types of Rank omega, Part I. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1884-1898 [Journal]
  24. Timothy Bays
    Partitioning Subsets of Stable Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1899-1908 [Journal]
  25. José Iovino
    On The Maximality of Logics with Approximations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1909-1918 [Journal]
  26. Arthur W. Apter
    Some Structural Results Concerning Supercompact Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1919-1927 [Journal]
  27. J. Donald Monk
    Continuum Cardinals Generalized to Boolean Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1928-1958 [Journal]
  28. Volker Halbach
    Disquotational Truth and Analyticity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1959-1973 [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