Axiomatizing first order consequences in dependence logic
classification
🧮 math.LO
cs.LO
keywords
dependencelogicaxiomatizedconsequencesaxiomatizationaxiomatizingcannotcompleteness
read the original 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.
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.