FreshCotton Lookbook Spring/Summer 2012

FreshCotton Lookbook Spring Summer 2011

Faith & falsity

On the ambiguation of Polish notation

Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic

The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic

Contexts in Dynamic Predicate Logic

A Tractarian Universe

The Second Incompleteness Theorem and Bounded Interpretations

Predicate Logics of Constructive Arithmetical Theories

Closed Fragments of Provability Logics of Constructive Theories