Perfect IFG-formulas

Simple item page
dc.creatorMann, Allen L.
dc.date2008-02-15
dc.date.accessioned2026-07-07T13:07:01Z
dc.date.available2026-07-07T13:07:01Z
dc.descriptionIFG logic is a variant of the independence-friendly logic of Hintikka and Sandu. We answer the question: ``Which IFG-formulas are equivalent to ordinary first-order formulas?'' We use the answer to show that the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure.
dc.description7 pages. Submitted to Logica Universalis. See also http://math.colgate.edu/~amann/
dc.identifierhttps://arxiv.org/abs/0802.2128
dc.identifierhttp://arxiv.org/abs/0802.2128
dc.identifierLogica Universalis, 2(2):265-275, Oct 2008.
dc.identifierdoi:10.1007/s11787-008-0037-z
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/227961
dc.subjectLogic
dc.subject03G25; 03B60; 03G15
dc.titlePerfect IFG-formulas
dc.typetext

Files

Collections

arXiv