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