Home on consequently.org consequently.org

Extending Intuitionistic Logic with Subtraction

consequently.org·1520w

Combining Possibilities and Negations

consequently.org·1524w

Paraconsistent Logics!

consequently.org·1524w

Display Logic and Gaggle Theory

consequently.org·1576w

Truthmakers, Entailment and Necessity

consequently.org·1576w

Realistic Belief Revision

consequently.org·1597w

Arithmetic and Truth in Łukasiewicz's Infinitely Valued Logic

consequently.org·1598w

Modalities in Substructural Logics

consequently.org·1624w

Nietzsche, Insight and Immorality

consequently.org·1629w

Information Flow and Relevant Logic

consequently.org·1629w

Four-Valued Semantics for Relevant Logics (and some of their rivals)

consequently.org·1629w

Subintuitionistic Logics

consequently.org·1681w

A Useful Substructural Logic

consequently.org·1681w

On Logics without Contraction

consequently.org·1689w

How to be Really Contraction Free

consequently.org·1733w

Simplified Semantics for Relevant Logics (and some of their rivals)

consequently.org·1733w

Deviant Logic and the Paradoxes of Self-Reference

consequently.org·1733w

A Note on Naïve Set Theory in LP

consequently.org·1785w

Log in to enable infinite scrolling