Mathematics
PW_246's user avatar
PW_246's user avatar
PW_246's user avatar
PW_246
  • Member for 1 year, 4 months
  • Last seen this week
Profile Activity
Stats
991
reputation
10k
reached
52
answers
26
questions
Communities
Badges
View all badges
1
gold badge
3
silver badges
15
bronze badges
Top tags
View all tags
22
Score
71
Posts
91
Posts %
7
Score
13
Posts
17
Posts %
5
Score
17
Posts
22
Posts %
3
Score
20
Posts
26
Posts %
2
Score
4
Posts
5
Posts %
1
Score
5
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
7
Why is the Principle of Explosion considered constructive?
Jun 28
answer
6
Don't Understand Mechanism behind Proof by Contradiction
Feb 22
question
4
FOL closure under negation
Aug 11
question
4
Is there a non-constructive proof-functional logic
Apr 6
question
3
Intuitionistic Logic vs Constant Domains
Mar 21
question
3
How to prove a formula in Visser’s FPL
Jul 23
answer
3
Linear logic as Fitch-style natural deduction?
Apr 17
answer
2
Assertion vs Statement
Feb 19
question
2
Cut-Free FOL Proof
Sep 29, 2022
answer
2
What's the point of conditionals and biconditionals?
Feb 22
Top network posts
View all network posts
5
Identity in Quantified Modal 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.