The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 62, Issue 2
Publication Date: June, 1997
Miscellaneous front pages, J. Symbolic Logic, Volume 62, Issue 2 (1997)
Generalized Nonsplitting in the Recursively Enumerable Degrees
Steven D. Leonhardi; 397-437
Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic
Jan Krajicek; 457-486
On the Complexity of Propositional Quantification in Intuitionistic Logic
Philip Kremer; 529-544
Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures
Georg Gottlob; 545-574
Louveau's Theorem for the Descriptive Set Theory of Internal Sets
Kenneth Schilling and Bosko Zivaljevic; 595-607
The Order Types of Termination Orderings on Monadic Terms, Strings and Monadic Terms, Strings and Multisets
Ursula Martin and Elizabeth Scott; 624-635
On the Unification Problem for Cartesian Closed Categories
Paliath Narendran, Frank Pfenning and Richard Statman; 636-647
Reviews
Review: Roger Penrose, Shadows of the Mind. A Search for the Missing Science of Consciousness
Piergiorgio Odifreddi; 673-675
Review: Yuri V. Matiyasevich, Martin Davis, Hilbert's Tenth Problem
C. Dimitracopoulos; 675-677
Review: Yu. V. Matiyasevich, Desyataya Problema Gil'berta; Christos H. Papadimitriou, Computational Complexity
Neil Immerman; 677-678
Review: Jean-Yves Girard, Yves Lafont, Laurent Regnier, Advances in Linear Logic
C. Dimitracopoulos and Dale Miller; 678-680
Review: Norman M. Martin, Stephen Pollard, Closure Spaces and Logic
Stephen L. Bloom; 685-686
Review: Jan von Plato, The Axioms of Constructive Geometry
Wolfgang Rautenberg; 687-688
Miscellaneous back pages, J. Symbolic Logic, Volume 62, Issue 2 (1997)
