Home on consequently.org consequently.org

Fixed Point Models for Theories of Properties and Classes

consequently.org·481w

PHIL30043: The Power and Limits of Logic

consequently.org·481w

UNIB10002: Logic, Language and Information

consequently.org·481w

First Degree Entailment, Symmetry and Paradox

consequently.org·482w

With Gratitude to Raymond Smullyan

consequently.org·483w

A New Paper

consequently.org·483w

Proof Terms for Classical Derivations

consequently.org·483w

Proof Terms as Invariants

consequently.org·493w

A Puzzle for Brandom's Account of Singular Terms

consequently.org·494w

Existence, Definedness and the Semantics of Possibility and Necessity

consequently.org·502w

Existence and Definedness: the semantics of possibility and necessity

consequently.org·502w

Proof Terms are fun

consequently.org·507w

Proofs and what they’re good for

consequently.org·508w

What Proofs and Truthmakers are About

consequently.org·510w

First Degree Entailment, Symmetry and Paradox

consequently.org·512w

PHIL30043: The Power and Limits of Logic

consequently.org·512w

PHIL20030: Meaning, Possibility and Paradox

consequently.org·512w

Proof Theory: Logical and Philosophical Aspects

consequently.org·514w

Proofs and what they’re good for

consequently.org·515w

Terms for Classical Sequents: Proof Invariants and Strong Normalisation

consequently.org·516w

Log in to enable infinite scrolling