References & Citations
Mathematics > Logic
Title: Uniform Definability in Propositional Dependence Logic
(Submitted on 31 Dec 2014 (v1), last revised 16 Nov 2016 (this version, v3))
Abstract: Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of propositional dependence logic without these two connectives. We show that although such a (non-compositional) translation exists, neither intuitionistic disjunction nor intuitionistic implication is uniformly definable in propositional dependence logic.
Submission history
From: Fan Yang [view email][v1] Wed, 31 Dec 2014 15:39:24 GMT (28kb)
[v2] Thu, 12 Mar 2015 17:25:23 GMT (30kb)
[v3] Wed, 16 Nov 2016 02:22:08 GMT (40kb)
Link back to: arXiv, form interface, contact.