493 reputation
418
bio website
location
age
visits member for 3 years, 4 months
seen Mar 25 at 19:46

Dear All,

If you want raw timely information about what is cooking in our lab you can follow the following stream:

+Jekejeke Logic Programming

We have discontinued our Facebook, Linkedin and XING accounts and are now exclusively posting on Google+.

Have Fun


Jun
17
accepted Direct cut-elimination for natural deduction.
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.