Abstract.
IFG 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 prove the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mann, A.L. Perfect IFG-Formulas. Log. univers. 2, 265–275 (2008). https://doi.org/10.1007/s11787-008-0037-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-008-0037-z