Volume 163, Number 1, January 2012
: Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information.
Volume 163, Number 2, February 2012
: Cosheaves and connectedness in formal topology.
: Generalizing realizability and Heyting models for constructive set theory.
Volume 163, Number 3, March 2012
: Characterizing strong randomness via Martin-Löf randomness.
: Visible acyclic differential nets, Part I: Semantics.
: Coding true arithmetic in the Medvedev degrees of Π10 classes.
Volume 163, Number 4, April 2012
: Asymptotic probabilities of extension properties and random l-colourable structures.
: Bounded linear-time temporal logic: A proof-theoretic investigation.
Volume 163, Number 5, May 2012
P. E. Alaev
: Computably categorical Boolean algebras enriched by ideals and atoms.
Volume 163, Number 6, June 2012
: Effectively closed mass problems and intuitionism.
Volume 163, Number 7, July 2012
: A bialgebraic approach to automata and formal language theory.
: Fixed point theorems on partial randomness.
: Product-free Lambek calculus is NP-complete.
Max I. Kanovich
: Light linear logics with controlled weakening: Expressibility, confluent strong normalization.
Volume 163, Number 8, August 2012
: Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem.
: The intermediate value theorem in constructive mathematics without choice.
: The uniform boundedness theorem and a boundedness principle.
: Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra.
Volume 163, Number 9, September 2012
Eduardo J. Dubuc
: Erratum to "Representation theory of MV-algebras" [Ann. Pure Appl. Logic 161 (8) (2010)].
Volume 163, Number 10, October 2012
: Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets.
: Intuitionism and the liar paradox.
Volume 163, Number 11, November 2012
: A constructive analysis of learning in Peano Arithmetic.
: Covers of Abelian varieties as analytic Zariski structures.
: A cut-free sequent system for two-dimensional modal logic, and why it matters.
: Characterization of NIP theories by ordered graph-indiscernibles.
: Comparing Peano arithmetic, Basic Law V, and Hume's Principle.
Volume 163, Number 12, December 2012
: On two topological cardinal invariants of an order-theoretic flavour.
: Generalising canonical extension to the categorical setting.