Home on consequently.org consequently.org

I have a campaign poster on my picket fence

consequently.org·518w

3am Interview on Philosophical Logic

consequently.org·519w

Proofs and what they’re good for

consequently.org·521w

Proofs and what they’re good for

consequently.org·522w

Review of Thomas Piecha and Peter Schroeder-Heister (editors), Advances in Proof-Theoretic Semantics

consequently.org·522w

Advice from Undergraduate Logic Students

consequently.org·523w

Terms for Classical Sequents: Proof Invariants and Strong Normalisation

consequently.org·523w

Terms for Classical Sequents: Proof Invariants and Strong Normalisation

consequently.org·524w

On Priest on Nonmonotonic and Inductive Logic

consequently.org·532w

UNIB10002: Logic, Language and Information

consequently.org·533w

Models for Compatibility

consequently.org·536w

Congratulations to Bruce French, AO

consequently.org·538w

Fixed Point Models for Theories of Properties and Classes

consequently.org·538w

On Priest on nonmonotonic and inductive logic

consequently.org·539w

Generality and Existence 3: Substitution and Identity

consequently.org·545w

Generality and Existence 4: Identity and Modality

consequently.org·546w

Generality and Existence 3: Substitution and Identity

consequently.org·546w

Generality and Existence 2: Modality and Quantifiers

consequently.org·546w

Generality and Existence 1: Quantification and Free Logic

consequently.org·547w

Language, Logic and Existential Commitment

consequently.org·548w

Log in to enable infinite scrolling