j4n bur53
Reputation
526
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
4 21
Newest
Impact
~8k people reached

• 0 posts edited
• 2 helpful flags
• 198 votes cast

# 197 Actions

 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 Jun 17 accepted Direct cut-elimination for natural deduction.