Location of Repository

“IFF ” IS NOT EXPRESSIBLE IN INDEPENDENCE-FRIENDLY LOGIC

By Allen L. Mann

Abstract

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:10.1.1.312.943
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://arxiv.org/pdf/0806.4785... (external link)
  • Suggested articles


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