Negation and partial axiomatizations of dependence and independence logic revisited

DOI10.1007/978-3-662-52921-8_25zbMATH Open1477.03106arXiv1603.08579OpenAlexW2939647703WikidataQ128116913 ScholiaQ128116913MaRDI QIDQ2273016FDOQ2273016

Authors: Fan Yang 

Publication date: 18 September 2019

Published in: Annals of Pure and Applied Logic, Logic, Language, Information, and Computation (Search for Journal in Brave)

Abstract: In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in (Kontinen and Vaananen 2013) and (Hannula 2015). We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by giving explicit derivations for Armstrong's Axioms and the Geiger-Paz-Pearl axioms of dependence and independence atoms.

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

Recommendations

• Negation and partial axiomatizations of dependence and independence logic revisited
• A remark on negation in dependence logic
• Axiomatizing propositional dependence logics
• Dependence logic with generalized quantifiers: axiomatizations
• Dependence logic with generalized quantifiers: axiomatizations
• Logics for propositional determinacy and independence
• On definability in dependence logic
• Dependence logic. A new approach to independence friendly logic
• Propositional logics of dependence
• Conditionals and Independence in Many-Valued Logics

zbMATH Keywords

team semanticsexistential second-order logicnegationdependence logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Social choice and individual values
• Axioms and algorithms for inferences involving probabilistic independence
• Dependence and independence
• A finite axiomatization of conditional independence and inclusion dependencies
• Dependence logic. A new approach to independence friendly logic
• Axiomatizing first-order consequences in dependence logic
• Axiomatizing first-order consequences in independence logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Compositional semantics for a language of imperfect information
• Expressing second-order sentences in intuitionistic dependence logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• On definability in dependence logic
• From IF to BI. A tale of dependence and separation
• Erratum to: ``On definability in dependence logic
• Title not available (Why is that?)
• A double team semantics for generalized quantifiers
• Title not available (Why is that?)
• A remark on negation in dependence logic
• On natural deduction in dependence logic
• On strongly first-order dependencies
• An undecidable problem in correspondence theory
• Modal independence logic
• Team logic and second-order logic
• Upwards closed dependencies in team semantics
• Dependence and Independence in Social Choice: Arrow’s Theorem
• Modal indepence logic
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic

Cited In (15)

• On natural deduction in dependence logic
• Dependence and independence
• Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
• Kim-independence in positive logic
• Compactness in team semantics
• Title not available (Why is that?)
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Axiomatizations of team logics
• Axiomatizing propositional dependence logics
• A remark on negation in dependence logic
• T-norm-based logics with an independent involutive negation
• Axiomatizing first-order consequences in independence logic
• Coherence in inquisitive first-order logic
• Axiomatizing first order consequences in inclusion logic
• Negation and partial axiomatizations of dependence and independence logic revisited

This page was built for publication: Negation and partial axiomatizations of dependence and independence logic revisited

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