Skip to main content
Article thumbnail
Location of Repository


By Allen L. Mann


Abstract. Ordinary first-order logic has the property that two formulas φ and ψ have the same meaning in a structure if and only if the formula φ ↔ ψ is true in the structure. We prove that independence-friendly logic does not have this property. §1. Introduction. The meaning of a first-order formula φ in a structure A is just the set of valuations that make the formula true in A. That is, φ A = {a ∈ N A | A | = φ[a]}, where A is the universe of A, and N is the number of variables in φ. Given a structure A and any two first-order formulas φ and ψ

OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.