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 71, Issue 1
Publication Date: March 2006
Normalized natural deduction systems for some relevant logics I: The logic DW
Ross T. Brady; 35-66
The generalised type-theoretic interpretation of constructive set theory
Peter Aczel and Nicola Gambino; 67-103
On weak and strong interpolation in algebraic logics
Saharon Shelah and Gábor Sági; 104-118
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman and Reed Solomon; 119-136
An alternative semantics for quantified relevant logic
Robert Goldblatt and Edwin D. Mares; 163-187
The hierarchy theorem for second order generalized quantifiers
Juha Kontinen; 188-202
Automorphism groups of arithmetically saturated models
Ermek S. Nurkhaidarov; 203-216
Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine’s NF
Thomas Forster; 227-240
Computable trees of Scott rank ω 1CK, and computable approximation
Wesley Calvert, Julia F. Knight and Jessica Millar; 283-298
