Top network posts
- 25 What exactly is a logic?
- 11 Main differences and relations between Sequent Calculus and Natural Deduction
- 9 Logic and Computation: a philosophical viewpoint on Curry-Howard isomorphism
- 9 What is the current status of parallel or concurrent programs in the Curry-Howard isomorphism?
- 8 Was Plato an idealist or a realist?
- 7 What is behind Girard's idea of distinguishing implication ( ⇒) and entailment (⊢) without separating language and meta-language?
- 7 Where can I learn Mathematical Logic?
- View more network posts →