"Iff" is not expressible in independence-friendly logic

Details "Iff" is not expressible in independence-friendly logic "Iff" is not expressible in independence-friendly logic

2008-06-29

arxiv.org/abs/0806.4785v1

Mathematics

Logic

18 pages. Submitted to the Journal of Symbolic Logic

Scientific paper

Ordinary first-order logic has the property that two formulas \phi and \psi
have the same meaning in a structure if and only if the formula ``\phi iff
\psi'' is true in the structure. We prove that independence-friendly logic does
not have this property.

Affiliated with

Also associated with

No associations

Rating

"Iff" is not expressible in independence-friendly logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with "Iff" is not expressible in independence-friendly logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and "Iff" is not expressible in independence-friendly logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-154288