516 reputation
420
bio website
location
age
visits member for 4 years, 2 months
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


May
9
answered Algorithm for GRG2 method of solving non-linear least square
Apr
26
accepted Less absorption in Minimal Logic?
Apr
26
comment Less absorption in Minimal Logic?
Yes, sounds good!
Apr
26
comment Less absorption in Minimal Logic?
So you assume inversion for conjunction, i.e. if A |- B /\ C, then A |- B and A |- C? To make the argument go through?
Apr
26
comment Less absorption in Minimal Logic?
This is a kind of a tex challenge for me.
Apr
26
revised Less absorption in Minimal Logic?
added 21 characters in body
Apr
26
comment Less absorption in Minimal Logic?
Now the comment /* not derivable */ is gone, and it looks as I state something true. Can this comment be restored in math?
Apr
26
asked Less absorption in Minimal Logic?
Apr
12
revised Direct cut-elimination for natural deduction.
added 12 characters in body
Apr
12
revised Direct cut-elimination for natural deduction.
added 39 characters in body
Apr
12
asked Direct cut-elimination for natural deduction.
Mar
22
revised Better compression for a positive DNF than via BDD
added 210 characters in body
Mar
22
answered Better compression for a positive DNF than via BDD
Jan
12
accepted Antique handling of consequentia mirabilis?
Jan
11
revised Antique handling of consequentia mirabilis?
added 54 characters in body
Jan
11
comment Antique handling of consequentia mirabilis?
@PeterSmith sorry, my fault. Was thinking in terms of minimal logic where one additionally assumes /A = A -> f.
Jan
11
revised Antique handling of consequentia mirabilis?
edited body
Jan
11
revised Antique handling of consequentia mirabilis?
added 26 characters in body
Jan
11
revised Antique handling of consequentia mirabilis?
added 175 characters in body
Jan
11
answered Antique handling of consequentia mirabilis?