New posts in nonclassical-logic

Defined negation in intuitionistic linear logic

logic intuitionistic-logic nonclassical-logic linear-logic

Looking for a simple proof of the independence of the law of excluded middle

logic intuitionistic-logic nonclassical-logic

Good book for learning and practising axiomatic logic

logic reference-request proof-writing book-recommendation nonclassical-logic

Reading Chapter 14 of Goldblatt's, "Topoi: A Categorial Analysis of Logic."

category-theory self-learning book-recommendation topos-theory nonclassical-logic

Why there is no classification theorem for logics, if there are classification theorems for groups and algebras?

logic nonclassical-logic

A proportionality puzzle: If half of $5$ is $3$, then what's one-third of $10$?

puzzle nonclassical-logic

Semantics for minimal logic

logic reference-request intuitionistic-logic provability nonclassical-logic

Tricks for Constructing Hilbert-Style Proofs

logic proof-theory nonclassical-logic

Is math built on assumptions?

soft-question education philosophy foundations nonclassical-logic