Reputation
516
Top tag
Next privilege 1,000 Rep.
Create tags
Badges
4 21
Newest
 Curious
Impact
~7k people reached

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.
Jun
17
revised How would Horn resolution work if we had shared variables?
deleted 2 characters in body
Jun
17
asked How would Horn resolution work if we had shared variables?
Jun
11
comment Predicate equivalence from Horn clauses?
I would say lfp <> Universe, i.e. a non-trivial least fixpoint is sufficient and also necessary. (Hope lfp is always defined as a concept, can we get it via set theory?)