Axiomatizing first-order consequences in independence logic

DOI10.1016/J.APAL.2014.09.002MaRDI QIDQ466449zbMATH OpenOpenAlexFDO

Authors Miika Hannula

Publication date 27 October 2014

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.4164

zbMATH Keywords

axiomatizationindependence logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Proof theory in general (including proof-theoretic semantics) (03F03)

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.

Recommendations

• Axiomatizing first-order consequences in dependence logic
• Axiomatizing first order consequences in inclusion logic
• Dependence logic with generalized quantifiers: axiomatizations

Cites work

• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• A finite axiomatization of conditional independence and inclusion dependencies
• A remark on negation in dependence logic
• An introduction to recursively saturated and resplendent models
• Axiomatizing first-order consequences in dependence logic
• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• General models and entailment semantics for independence logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On dependence logic
• On the undecidability of implications between embedded multivalued database dependencies
• Some applications of Henkin quantifiers

Cited in

(12)

• Axiomatizing first order consequences in inclusion logic
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• A logical approach to context-specific independence
• Axiomatizing first-order consequences in dependence logic
• A Logical Approach to Context-Specific Independence
• Expressivity and Complexity of Dependence Logic
• Characterizing downwards closed, strongly first-order, relativizable dependencies
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions
• Propositional union closed team logics
• Detection of First Order Axiomatic Theories
• Dependence and Independence in Social Choice: Arrow’s Theorem
• A finite axiomatization of conditional independence and inclusion dependencies

This page was built for publication: Axiomatizing first-order consequences in independence logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466449)