The countable versus uncountable branching recurrences in computability logic Fulltext Access 16 Pages 2012
Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets Fulltext Access 16 Pages 2012
Decomposing Borel functions and structure at finite levels of the Baire hierarchy Fulltext Access 17 Pages 2012
Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information Fulltext Access 17 Pages 2012
A relational semantics for parallelism and non-determinism in a functional setting Fulltext Access 17 Pages 2012
Sufficient completeness verification for conditional and constrained TRS Fulltext Access 17 Pages 2012
Constructive toposes with countable sums as models of constructive set theory Fulltext Access 18 Pages 2012
Unity in nominal equational reasoning: The algebra of equality on nominal sets Fulltext Access 19 Pages 2012
The high/low hierarchy in the local structure of the ωω-enumeration degrees Fulltext Access 20 Pages 2012
Light linear logics with controlled weakening: Expressibility, confluent strong normalization Fulltext Access 21 Pages 2012
The Ackermann approach for modal logic, correspondence theory and second-order reduction Fulltext Access 23 Pages 2012
Algebraic proof theory for substructural logics: Cut-elimination and completions Fulltext Access 25 Pages 2012
The relational model is injective for multiplicative exponential linear logic (without weakenings) Fulltext Access 27 Pages 2012
Realization for justification logics via nested sequents: Modularity through embedding Fulltext Access 28 Pages 2012
Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra Fulltext Access 32 Pages 2012
Asymptotic probabilities of extension properties and random l-colourable structures Fulltext Access 48 Pages 2012
Dichotomy theorems for countably infinite dimensional analytic hypergraphs Fulltext Access 5 Pages 2011
The provably terminating operations of the subsystem PETJ of explicit mathematics Fulltext Access 14 Pages 2011
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories Fulltext Access 14 Pages 2011