Breaking the Atom with Samson
From MaRDI portal
Publication:4922090
DOI10.1007/978-3-642-38164-5_22zbMath1264.03081MaRDI QIDQ4922090
Publication date: 28 May 2013
Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38164-5_22
03B60: Other nonclassical logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Axiomatizing first-order consequences in dependence logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- From IF to BI. A tale of dependence and separation
- Axioms and algorithms for inferences involving probabilistic independence
- Dependence and independence
- Expressing second-order sentences in intuitionistic dependence logic
- Relational hidden variables and non-locality
- Second-Order Logic and Foundations of Mathematics