List questions from nonclassical-logic | MathQa

Is ¬¬(¬¬P → P) provable in intuitionistic logic?

Published on 12 Jan 2025 - 21:10

"Relative unsatisfiability" of SAT instances

Published on 12 Jan 2025 - 21:14

Logical equivalence implication between Kleene and Classical logic

Published on 12 Jan 2025 - 21:30

Interpretation of relations in varying-domain models of F.O. modal logic

Published on 12 Jan 2025 - 21:34

Are there any examples of consistent proper axiomatic extensions of classical logic?

Published on 12 Jan 2025 - 21:37

Non-distributive lattices with chains of different lengths

Published on 12 Jan 2025 - 21:26

Do non-monotonicity / higher-order / probabilistics / modalities / connectives exhaust all possible features of logical reasoning?

Published on 12 Jan 2025 - 21:43

Sudokus and the Distance to a Contradiction.

Published on 12 Jan 2025 - 21:13

Why is $\lozenge (p\to p)$ not valid in system $K$ of modal logic?

Published on 12 Jan 2025 - 21:26

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

Published on 12 Jan 2025 - 21:34