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


Sep
21
revised What are the historical roots of cryptarithmetic?
added 58 characters in body
Sep
21
answered How to prove AB is not equal to BC
Sep
21
asked What are the historical roots of cryptarithmetic?
Aug
25
revised What kind of logics satisfy the coincidence lemma?
added 286 characters in body; edited title
Aug
22
comment What kind of logics satisfy the coincidence lemma?
Then the truth can depend on more than only p and x. For example if I substitute f(y) for x, and in one case a for y and in another case b for y. I could get different truth values.
Aug
22
comment What kind of logics satisfy the coincidence lemma?
Take p(x). Usually the truth value of the above sentence only depends on the interpretation of p and the domain value of x. But what if we allow to determine the truth to perform simultaneous non-ground substitutions?
Aug
22
comment What kind of logics satisfy the coincidence lemma?
If sigma is not an interpretation, but a simultaneous non-ground substitution, then the lemma doesn't hold. Right? Is there some logic that would amount to that?
Aug
22
awarded  Yearling
Aug
22
comment What kind of logics satisfy the coincidence lemma?
Yeah, possibly we could define occuring free in A after the fact semantically and not before the fact syntactically, by virtue of this lemma.
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