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

  • 0 posts edited
  • 2 helpful flags
  • 178 votes cast
Jun
17
revised How would Horn resolution work if we had shared variables?
deleted 7 characters in body
Jun
17
revised How would Horn resolution work if we had shared variables?
deleted 192 characters in body
Jun
17
revised How would Horn resolution work if we had shared variables?
added 193 characters in body
Jun
17
revised How would Horn resolution work if we had shared variables?
deleted 2 characters in body
Jun
11
revised Predicate equivalence from Horn clauses?
deleted 591 characters in body
Jun
11
revised Predicate equivalence from Horn clauses?
deleted 591 characters in body
Apr
26
revised Less absorption in Minimal Logic?
added 21 characters in body
Apr
12
revised Direct cut-elimination for natural deduction.
added 12 characters in body
Apr
12
revised Direct cut-elimination for natural deduction.
added 39 characters in body
Mar
22
revised Better compression for a positive DNF than via BDD
added 210 characters in body
Jan
11
revised Antique handling of consequentia mirabilis?
added 54 characters in body
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
revised Antique handling of consequentia mirabilis?
added 82 characters in body
Dec
15
revised How to show that this logical argument is valid?
added 101 characters in body
Dec
13
revised How to deduce that something does not follow?
edited body
Oct
10
revised Natural order of rational trees?
added 6 characters in body
Oct
10
revised Natural order of rational trees?
added 8 characters in body
Sep
5
revised Better compression for a positive DNF than via BDD
edited title