14

Answers
votes newest views recent
3
Is no proof based on “tertium non datur” sufficient any more after Gödel?
2
Is there any proof assistant based on first-order logic?
7
Choice vs. countable choice
4
Intro to automatic theorem proving / logical foundations?
5
Extensional theorems mostly used intensionally
3
[solved] sequent calculus as programming language
4
Do you know any good introductory resource on sequent calculus?
11
What is the manner of inconsistency of Girard’s paradox in Martin Lof type theory
3
What are the algebras for the double dualization monad?
5
Replacing logician-constructive with combinatorist-constructive?
5
Condition of possibility = Co-Implication
1
What do I call type theory without Curry-Howard?
5
Can a typing judgment admit essentially different derivations? (2)
3
What is the proper name for “compact closed” multiplicative intuitionistic linear logic?