Negation and partial axiomatizations of dependence and independence logic revisited

Show simple item record

dc.contributor University of Helsinki, Department of Mathematics and Statistics en
dc.contributor.author Yang, Fan
dc.date.accessioned 2021-06-10T21:41:30Z
dc.date.available 2021-06-10T21:41:30Z
dc.date.issued 2019-09
dc.identifier.citation Yang , F 2019 , ' Negation and partial axiomatizations of dependence and independence logic revisited ' , Annals of Pure and Applied Logic , vol. 170 , no. 9 , pp. 1128-1149 . https://doi.org/10.1016/j.apal.2019.04.010 en
dc.identifier.issn 0168-0072
dc.identifier.other PURE: 126131844
dc.identifier.other PURE UUID: 9e465fcc-68e5-4c9f-8ee0-844b4aa4de78
dc.identifier.other WOS: 000474317400009
dc.identifier.other ORCID: /0000-0003-0392-6522/work/60607946
dc.identifier.uri http://hdl.handle.net/10138/330869
dc.description.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 [22) and [11]. 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. (C) 2019 Elsevier B.V. All rights reserved. en
dc.format.extent 22
dc.language.iso eng
dc.relation.ispartof Annals of Pure and Applied Logic
dc.relation.uri https://arxiv.org/abs/1603.08579
dc.rights en
dc.subject Dependence logic en
dc.subject Team semantics en
dc.subject Negation en
dc.subject Existential second-order logic en
dc.subject TEAM SEMANTICS en
dc.subject INCLUSION en
dc.subject 111 Mathematics en
dc.title Negation and partial axiomatizations of dependence and independence logic revisited en
dc.type Article
dc.description.version Peer reviewed
dc.identifier.doi https://doi.org/10.1016/j.apal.2019.04.010
dc.type.uri info:eu-repo/semantics/other
dc.type.uri info:eu-repo/semantics/acceptedVersion
dc.contributor.pbl

Files in this item

Total number of downloads: Loading...

Files Size Format View
1603.08579v5.pdf 283.8Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record