Mathematics – Logic
Scientific paper
2008-02-15
Logica Universalis, 2(2):265-275, Oct 2008.
Mathematics
Logic
7 pages. Submitted to Logica Universalis. See also http://math.colgate.edu/~amann/
Scientific paper
10.1007/s11787-008-0037-z
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 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.
No associations
LandOfFree
Perfect IFG-formulas 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 Perfect IFG-formulas, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Perfect IFG-formulas will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-37579