516 reputation
419
bio website
location
age
visits member for 4 years
seen Dec 7 at 21:40

Dear All,

If you want raw timely information about what is cooking in our lab you can follow the following Google+ and Twitter streams:

Google+ Jekejeke Prolog
Twitter Jekejeke Prolog

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

Have Fun


Aug
15
revised Need an asymptotic function that's going to have a specific shape
added 239 characters in body
Aug
15
answered Need an asymptotic function that's going to have a specific shape
Aug
15
asked Epistemic disjunction, axiom or rule?
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
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.