Mathematics – Logic
Scientific paper
2007-11-27
Logic Journal of IGPL 2009
Mathematics
Logic
42 pages. Submitted to the Logic Journal of the IGPL. See also http://math.colgate.edu/~amann/
Scientific paper
10.1093/jigpal/jzp029
Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of first-order logic. We define independence-friendly cylindric set algebras and prove two main results. First, every independence-friendly cylindric set algebra over a structure has an underlying Kleene algebra. Moreover, the class of such underlying Kleene algebras generates the variety of all Kleene algebras. Hence the equational theory of the class of Kleene algebras that underly an independence-friendly cylindric set algebra is finitely axiomatizable. Second, every one-dimensional independence-friendly cylindric set algebra over a structure has an underlying monadic Kleene algebra. However, the class of such underlying monadic Kleene algebras does not generate the variety of all monadic Kleene algebras. Finally, we offer a conjecture about which subvariety of monadic Kleene algebras the class of such monadic Kleene algebras does generate.
No associations
LandOfFree
Independence-friendly cylindric set algebras 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 Independence-friendly cylindric set algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Independence-friendly cylindric set algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-248376