- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A Finite Axiomatization of G-Dependence
Journal of Logic, Language and Information 26 (3):293-302 (2017)
Abstract
We show that a form of dependence known as G-dependence admits a very natural finite axiomatization, as well as Armstrong relations. We also give an explicit translation between functional dependence and G-dependence.Author's Profile
My notes
Similar books and articles
Axiomatizing first-order consequences in dependence logic.Juha Kontinen & Jouko Väänänen - 2013 - Annals of Pure and Applied Logic 164 (11):1101-1117.
Rationally Functional Dependence.Pavel Naumov & Brittany Nicholls - 2014 - Journal of Philosophical Logic 43 (2-3):603-616.
Rousseau on Dependence and the Formation of Political Society.David James - 2013 - European Journal of Philosophy 21 (3):343-366.
Dependence Logic: A survey of some recent work.Juha Kontinen - 2013 - Philosophy Compass 8 (10):950-963.
On the concepts of function and dependence.André Bazzoni - 2015 - Principia: An International Journal of Epistemology 19 (1):01-15.
The non-remedial value of dependence on moral testimony.Paddy Jane McShane - 2018 - Philosophical Studies 175 (3):629-647.
Dependence Logic with a Majority Quantifier.Arnaud Durand, Johannes Ebbing, Juha Kontinen & Heribert Vollmer - 2015 - Journal of Logic, Language and Information 24 (3):289-305.
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Axiomatization of abelian-by- G groups for a finite group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
Two conceptions of response-dependence.Rafael De Clercq - 2002 - Philosophical Studies 107 (2):159-177.
Analytics
Added to PP
2017-05-30
Downloads
14 (#965,243)
6 months
9 (#290,637)
2017-05-30
Downloads
14 (#965,243)
6 months
9 (#290,637)
Historical graph of downloads
Author's Profile
References found in this work
Dependence logic: a new approach to independence friendly logic.Jouko Väänänen - 2007 - New York: Cambridge University Press.
Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Quantum Team Logic and Bell’s Inequalities.Tapani Hyttinen, Gianluca Paolini & Jouko Väänänen - 2015 - Review of Symbolic Logic 8 (4):722-742.
A logic for arguing about probabilities in measure teams.Tapani Hyttinen, Gianluca Paolini & Jouko Väänänen - 2017 - Archive for Mathematical Logic 56 (5-6):475-489.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo