14

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