Negation and partial axiomatizations of dependence and independence logic revisited |
| |
Authors: | Fan Yang |
| |
Institution: | 1. Department of Values, Technology and Innovation, Delft University of Technology, Jaffalaan 5, 2628 BX Delft, the Netherlands;2. Department of Mathematics and Statistics, PL 68 (Pietari Kalmin katu 5), 00014 University of Helsinki, Finland |
| |
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. |
| |
Keywords: | Corresponding author at: Department of Mathematics and Statistics PL 68 (Pietari Kalmin katu 5) 00014 University of Helsinki Finland 03B60 Dependence logic Team semantics Negation Existential second-order logic |
本文献已被 ScienceDirect 等数据库收录! |
|