2000 character limit reached
Axiomatizing first order consequences in dependence logic
Published 1 Aug 2012 in math.LO and cs.LO | (1208.0176v1)
Abstract: Dependence logic, introduced in [8], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.