516 reputation
420
bio website
location
age
visits member for 4 years, 1 month
seen 9 hours ago

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
22
revised What kind of logics satisfy the coincidence lemma?
edited body
Aug
22
comment logic question: enumerating propositions
How about HOL with some general semantics? Not the full semantic?
Aug
22
asked What kind of logics satisfy the coincidence lemma?
Aug
15
revised Need an asymptotic function that's going to have a specific shape
added 123 characters in body
Aug
15
accepted Epistemic disjunction, axiom or rule?
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?