Reputation
526
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
4 21
Newest
 Curious
Impact
~7k people reached

  • 0 posts edited
  • 2 helpful flags
  • 198 votes cast
Mar
22
answered Better compression for a positive DNF than via BDD
Jan
12
accepted Antique handling of consequentia mirabilis?
Jan
11
revised Antique handling of consequentia mirabilis?
added 54 characters in body
Jan
11
comment Antique handling of consequentia mirabilis?
@PeterSmith sorry, my fault. Was thinking in terms of minimal logic where one additionally assumes /A = A -> f.
Jan
11
revised Antique handling of consequentia mirabilis?
edited body
Jan
11
revised Antique handling of consequentia mirabilis?
added 26 characters in body
Jan
11
revised Antique handling of consequentia mirabilis?
added 175 characters in body
Jan
11
answered Antique handling of consequentia mirabilis?
Jan
11
comment Antique handling of consequentia mirabilis?
Yes, the natural deduction formulation does the same. Any particular reason to use /A instead of ~A? Is this historical more adequate?
Jan
11
revised Antique handling of consequentia mirabilis?
added 82 characters in body
Jan
11
asked Antique handling of consequentia mirabilis?
Dec
15
revised How to show that this logical argument is valid?
added 101 characters in body
Dec
15
answered How to show that this logical argument is valid?
Dec
13
accepted How to deduce that something does not follow?
Dec
13
comment How to deduce that something does not follow?
Very nice derivation, thanks. When H is consistent then we cannot have H |- Q and H |- ~Q, therefore also not P |- Q.
Dec
13
accepted Natural order of rational trees?
Dec
13
revised How to deduce that something does not follow?
edited body
Dec
13
accepted Non Higher-Order Formulation of Gödels Incompletness Theorem
Dec
13
accepted Depth distribution of normalized decision trees?
Dec
13
asked How to deduce that something does not follow?