less info
reputation
419
bio website location age member for 3 years, 9 months seen Aug 23 at 22:40 profile views 352

Dear All,

 Aug23 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 Aug9 revised The “disjunction” of two theories deleted 97 characters in body Aug9 answered The “disjunction” of two theories Aug8 asked Analogue of Herbrand Disjunction for Negative Side of the Clark Completion? Aug8 answered Herbrand Logic-Fitch System Jul13 awarded Revival Apr14 awarded Nice Question Jan29 awarded Popular Question Dec30 revised Skolemization of a Formula edited body Dec29 revised Skolemization of a Formula deleted 5 characters in body Dec29 answered Skolemization of a Formula Dec29 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. Dec29 revised Skolemization of a Formula edited tags Dec29 revised Skolemization of a Formula deleted 99 characters in body Dec29 revised Skolemization of a Formula added 98 characters in body Dec29 asked Skolemization of a Formula Dec29 revised Is the validity of the Skolemization of a sentence A infers the validity of A? edited body Dec29 answered Is the validity of the Skolemization of a sentence A infers the validity of A? Sep25 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. Sep23 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.