516 reputation
420
bio website
location
age
visits member for 4 years, 1 month
seen Jan 26 at 10:02

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


Jan
6
revised Inference rule for Non-Empty Domains
added 4 characters in body
Jan
3
revised Inference rule for Non-Empty Domains
added 29 characters in body
Jan
2
revised Inference rule for Non-Empty Domains
added 9 characters in body
Jan
2
asked Inference rule for Non-Empty Domains
Dec
21
awarded  Caucus
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