Home on consequently.org consequently.org

Towards Fixed Point Models for Theories of Properties and Classes

consequently.org·611w

Ludwig Wittgenstein’s Tractatus Logico-Philosophicus

consequently.org·612w

Pluralism and Proofs

consequently.org·615w

PHIL30043: The Power and Limits of Logic

consequently.org·616w

PHIL10003: Philosophy, the Great Thinkers

consequently.org·616w

From Defining Rules to Cut Elimination (and its consequences)

consequently.org·620w

Proof Theory and Philosophy

consequently.org·621w

Modal Definedness

consequently.org·622w

Ternary Relations and Models for Relevant Arithmetics

consequently.org·625w

Logic: Language and Information 2

consequently.org·630w

UNIB10002: Logic, Language and Information

consequently.org·637w

PHIL40007: Philosophy of Language and Mind

consequently.org·637w

PHIL20030: Meaning, Possibility and Paradox

consequently.org·637w

MULT10016: Reason

consequently.org·637w

Logic: Language and Information 1

consequently.org·638w

Assertion, Denial and Non-Classical Theories

consequently.org·668w

Special Issue of the Logic Journal of the IGPL: Non-Classical Mathematics

consequently.org·692w

New Waves in Philosophical Logic

consequently.org·698w

A Cut-Free Sequent System for Two-Dimensional Modal Logic, and why it matters

consequently.org·704w

Bradwardine Hypersequents

consequently.org·720w

Log in to enable infinite scrolling