Reputation
521
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
  • 178 votes cast
Jun
11
accepted Predicate equivalence from Horn clauses?
Jun
11
comment Predicate equivalence from Horn clauses?
n is a FOL constant. X is a FOL variable. even and even' are FOL predicates of arity 1. s is a FOL function of arity 1. There are no further definitions around that would involve n or s.
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
Jun
11
asked Predicate equivalence from Horn clauses?
May
9
answered Algorithm for GRG2 method of solving non-linear least square
Apr
26
accepted Less absorption in Minimal Logic?
Apr
26
comment Less absorption in Minimal Logic?
Yes, sounds good!
Apr
26
comment Less absorption in Minimal Logic?
So you assume inversion for conjunction, i.e. if A |- B /\ C, then A |- B and A |- C? To make the argument go through?
Apr
26
comment Less absorption in Minimal Logic?
This is a kind of a tex challenge for me.
Apr
26
revised Less absorption in Minimal Logic?
added 21 characters in body
Apr
26
comment Less absorption in Minimal Logic?
Now the comment /* not derivable */ is gone, and it looks as I state something true. Can this comment be restored in math?
Apr
26
asked Less absorption in Minimal Logic?
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
Apr
12
asked Direct cut-elimination for natural deduction.
Mar
22
revised Better compression for a positive DNF than via BDD
added 210 characters in body
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