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

• 0 posts edited
• 2 helpful flags
• 198 votes cast

# 197 Actions

 Jun 17 revised How would Horn resolution work if we had shared variables? deleted 2 characters in body Jun 17 asked How would Horn resolution work if we had shared variables? Jun 11 comment Predicate equivalence from Horn clauses? I would say lfp <> Universe, i.e. a non-trivial least fixpoint is sufficient and also necessary. (Hope lfp is always defined as a concept, can we get it via set theory?) 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