|
|||||
|
|
Perfect IFG-Formulas |
|
| Authors: | Allen L Mann |
| Institution: | (1) Department of Mathematics, Colgate University, 13 Oak Drive, Hamilton, NY 13346, USA |
| 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. |
| Keywords: | Mathematics Subject Classification (2000)" target="_blank">Mathematics Subject Classification (2000) Primary 03G25 Secondary 03B60 03G15 |
| 本文献已被 SpringerLink 等数据库收录！ | |