Mathematics
Boris's user avatar
Boris's user avatar
Boris's user avatar
Boris
  • Member for 7 years, 6 months
  • Last seen more than 1 year ago
  • Paris, France
Profile Activity
Stats
759
reputation
9k
reached
7
answers
11
questions
Communities
View all
About

I'm a student in Computer Science. Logic is my main interest.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
16
bronze badges
Top tags
View all tags
16
Score
12
Posts
67
Posts %
6
Score
6
Posts
33
Posts %
5
Score
2
Posts
11
Posts %
4
Score
3
Posts
17
Posts %
4
Score
2
Posts
11
Posts %
3
Score
3
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
16
Main differences and relations between Sequent Calculus and Natural Deduction
Dec 24, 2016
question
12
Pentagon diagram of Monoidal Categories
Nov 18, 2017
question
4
How can we interpret that $A, B \vdash A, B$ is unprovable with resource interpretation in Linear Logic?
Nov 13, 2017
answer
4
Why do people separate syntax and semantics in mathematical logic?
Jul 4, 2017
answer
4
Gentzen and computer science
Dec 29, 2017
question
3
Associativity in Braided Monoidal Categories with String Diagrams
Nov 18, 2017
question
3
What is the concept of truth in the Curry-Howard isomorphism?
Dec 17, 2017
answer
3
Prove $A\implies C \vee D$ from $(A\implies C) \vee (A\implies D)$ with natural deduction
Mar 13, 2017
question
2
How should we see the role of deduction systems like NK, NJ, LK, LJ?
Dec 26, 2016
answer
2
How can we interpret that $A, B \vdash A, B$ is unprovable with resource interpretation in Linear Logic?
Nov 17, 2017
Top network posts
View all network posts
26
What exactly is a logic?
9
What is the current status of parallel or concurrent programs in the Curry-Howard isomorphism?
9
Logic and Computation: a philosophical viewpoint on 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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.