Mathematics
Joseph Vidal-Rosset's user avatar
Joseph Vidal-Rosset's user avatar
Joseph Vidal-Rosset's user avatar
Joseph Vidal-Rosset
  • Member for 10 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
159
reputation
10k
reached
8
answers
1
question
Communities
View all
About

https://www.vidal-rosset.net/about.html

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
View all tags
15
Score
8
Posts
89
Posts %
13
Score
3
Posts
33
Posts %
10
Score
4
Posts
44
Posts %
1
Score
2
Posts
22
Posts %
1
Score
1
Posts
11
Posts %
0
Score
2
Posts
22
Posts %
Top posts
All Questions Answers
Score Newest
answer
6
Equivalence between Peirce's law and Excluded Middle in Intuitionistic logic
Apr 16, 2018
answer
4
Double negation elimination in constructive logic
Feb 13, 2013
answer
3
What is a constructive proof of $\lnot\lnot(P\vee\lnot P)$?
Jun 14, 2015
answer
1
Prove that if $Σ$ is consistent and $Σ \vdash A$ , then $Σ ∪ \{A\}$ is consistent.
Jun 6, 2020
answer
1
A question about the (un)derivability of Cut Rule in Sequent Calculus
Sep 22, 2021
question
0
Is the intuitionistic absurdity rule $\bot E$ necessary to prove that a theory $\mathcal{T}$ is consistent?
Sep 22, 2021
answer
0
Simple Fitch Proof
Jan 12, 2020
answer
0
How to prove double negation elimination without using $\bot$?
Jan 30, 2022
answer
0
**Ended Competition:** What is the shortest proof of $\exists x \forall y (D(x) \to D(y)) $?
Mar 26
Top network posts
View all network posts
10
Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")

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.