518 reputation
419
bio website
location
age
visits member for 3 years, 7 months
seen Jul 13 at 12:45

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


Dec
30
revised Skolemization of a Formula
edited body
Dec
29
revised Skolemization of a Formula
deleted 5 characters in body
Dec
29
revised Skolemization of a Formula
edited tags
Dec
29
revised Skolemization of a Formula
deleted 99 characters in body
Dec
29
revised Skolemization of a Formula
added 98 characters in body
Dec
29
revised Is the validity of the Skolemization of a sentence A infers the validity of A?
edited body
Sep
23
revised Induction, how often?
added 43 characters in body
Sep
23
revised Induction, how often?
deleted 1 characters in body
Sep
21
revised What are the historical roots of cryptarithmetic?
added 58 characters in body
Aug
25
revised What kind of logics satisfy the coincidence lemma?
added 286 characters in body; edited title
Aug
22
revised What kind of logics satisfy the coincidence lemma?
edited body
Aug
15
revised Need an asymptotic function that's going to have a specific shape
added 123 characters in body
Aug
15
revised Need an asymptotic function that's going to have a specific shape
added 239 characters in body
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