516 reputation
419
bio website
location
age
visits member for 3 years, 9 months
seen Aug 23 at 22: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
23
comment Using $p\supset q$ instead of $p\implies q$
It is rather the other way around. From residuated lattices we know p≤q->r iff p^q≤r. Now take the special case p=1, we then have q->r iff q≤r. en.wikipedia.org/wiki/Residuated_lattice
Aug
9
revised The “disjunction” of two theories
deleted 97 characters in body
Aug
9
answered The “disjunction” of two theories
Aug
8
asked Analogue of Herbrand Disjunction for Negative Side of the Clark Completion?
Aug
8
answered Herbrand Logic-Fitch System
Jul
13
awarded  Revival
Apr
14
awarded  Nice Question
Jan
29
awarded  Popular Question
Dec
30
revised Skolemization of a Formula
edited body
Dec
29
revised Skolemization of a Formula
deleted 5 characters in body
Dec
29
answered Skolemization of a Formula
Dec
29
comment Why is 'abuse of notation' tolerated?
Without further research you are saying that I were using non-standard notation. May I show you the following reference: ISO 31-11: ⇒ p ⇒ q implication sign if p then q; p implies q Can also be written as q ⇐ p. Sometimes → is used. en.wikipedia.org/wiki/ISO_31-11 . Seems you are suffering from some severe self overestimates, the only thing that is distracting here.
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
asked Skolemization of a Formula
Dec
29
revised Is the validity of the Skolemization of a sentence A infers the validity of A?
edited body
Dec
29
answered Is the validity of the Skolemization of a sentence A infers the validity of A?
Sep
25
comment What are the historical roots of cryptarithmetic?
This is a hukumenzan: janko.at/Raetsel/Nikoli/Hukumenzan.htm . Somebody told me the translation is "prune and peach are friends", and the script is Hiragana.
Sep
23
comment What are the historical roots of cryptarithmetic?
Looks they are called nowadays hukumenzan in Japan. But how about China? I still don't know.