Axiomatizing first-order consequences in independence logic
classification
🧮 math.LO
cs.LO
keywords
logicindependenceaxiomatizedconsequencesfirst-orderarticleaxiomatizationaxiomatizing
read the original abstract
Independence logic cannot be effectively axiomatized. However, first-order consequences of independence logic sentences can be axiomatized. In this article we give an explicit axiomatization and prove that it is complete in this sense. The proof is a generalization of the similar result for dependence logic.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.