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