Studia Logica 94 (1):73-85 (2010)

A relation between two secrets, known in the literature as nondeducibility , was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence . This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.
Keywords Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-010-9223-0
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 57,109
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Independence in Information Spaces.Pavel Naumov - 2012 - Studia Logica 100 (5):953-973.
Symmetry in Information Flow.Jeffrey Kane & Pavel Naumov - 2014 - Annals of Pure and Applied Logic 165 (1):253-265.

Add more citations

Similar books and articles

Logic of Secrets in Collaboration Networks.Sara Miner More & Pavel Naumov - 2011 - Annals of Pure and Applied Logic 162 (12):959-969.
Independence in Information Spaces.Pavel Naumov - 2012 - Studia Logica 100 (5):953-973.
Stochastic Independence, Causal Independence, and Shieldability.Wolfgang Spohn - 1980 - Journal of Philosophical Logic 9 (1):73 - 99.
Simplicity and Uncountable Categoricity in Excellent Classes.Tapani Hyttinen & Olivier Lessmann - 2006 - Annals of Pure and Applied Logic 139 (1):110-137.
The Philosophy of Nature, Chance, and Miracle.Adam Świeżyński - 2011 - American Journal of Theology and Philosophy 32 (3):221 - 241.
Keeping or Leaking Secrets, on the Case of XI-Yang.Qing Dai - 1996 - Chinese Studies in Philosophy 27 (3):29-36.
Xvi. Keeping Or Leaking Secrets: On The Case Of Xi Yang.Dai Qing - 1996 - Chinese Studies in Philosophy 27 (3):29-36.
The Axiomatization of Randomness.Michiel van Lambalgen - 1990 - Journal of Symbolic Logic 55 (3):1143-1167.
On the Set of Atoms.M. Crabbé - 2000 - Logic Journal of the IGPL 8 (6):751-759.
Partially Ordered Sets and the Independence Property.James H. Schmerl - 1989 - Journal of Symbolic Logic 54 (2):396-401.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.


Added to PP index

Total views
37 ( #275,443 of 2,411,471 )

Recent downloads (6 months)
1 ( #538,999 of 2,411,471 )

How can I increase my downloads?


My notes