"Iff" is not expressible in independence-friendly logic

Simple item page
dc.creatorMann, Allen L.
dc.date2008-06-29
dc.date.accessioned2026-07-07T09:47:25Z
dc.date.available2026-07-07T09:47:25Z
dc.descriptionOrdinary first-order logic has the property that two formulas ϕand ψhave the same meaning in a structure if and only if the formula ``ϕiff ψ'' is true in the structure. We prove that independence-friendly logic does not have this property.
dc.description18 pages. Submitted to the Journal of Symbolic Logic
dc.identifierhttps://arxiv.org/abs/0806.4785
dc.identifierhttp://arxiv.org/abs/0806.4785
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/163867
dc.subjectLogic
dc.title"Iff" is not expressible in independence-friendly logic
dc.typetext

Files

Collections

arXiv