Graduate studies at Western
Studia Logica 94 (1):73 - 85 (2010)
|Abstract||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||information flow nondeducibility formal system|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Saharon Shelah (1980). Independence of Strong Partition Relation for Small Cardinals, and the Free-Subset Problem. Journal of Symbolic Logic 45 (3):505-509.
Fabio G. Cozman (2012). Sets of Probability Distributions, Independence, and Convexity. Synthese 186 (2):577-600.
Wolfgang Spohn (1980). Stochastic Independence, Causal Independence, and Shieldability. Journal of Philosophical Logic 9 (1):73 - 99.
Nancy Tuana (1994). Secrets of Life, Secrets of Death. The Personalist Forum 10 (1):47-49.
T. Thacher Robinson (1968). Independence of Two Nice Sets of Axioms for the Propositional Calculus. Journal of Symbolic Logic 33 (2):265-270.
Miklos Redei (1995). Logical Independence in Quantum Logic. Foundations of Physics 25 (3):411-422.
Michiel Van Lambalgen (1990). The Axiomatization of Randomness. Journal of Symbolic Logic 55 (3):1143 - 1167.
Michal Marczyk & Leszek Wronski, Exhaustive Classication of Finite Classical Probability Spaces with Regard to the Notion of Causal Up-to-N-Closedness.
Jean Bodin (1975). Colloquium of the Seven About Secrets of the Sublime =. Princeton University Press.
Adam Świeżyński (2011). The Philosophy of Nature, Chance, and Miracle. American Journal of Theology and Philosophy 32 (3):221 - 241.
Added to index2010-02-01
Total downloads12 ( #101,300 of 739,053 )
Recent downloads (6 months)1 ( #61,778 of 739,053 )
How can I increase my downloads?