Breaking the atom with Samson

DOI10.1007/978-3-642-38164-5_22MaRDI QIDQ4922090zbMATH OpenOpenAlexFDO

Authors Jouko Väänänen

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 3932435
• On dependence logic
• Dependence and independence
• Dependency ordering of atomic observables
• Independence in database relations

Cites work

• Axiomatizing first-order consequences in dependence logic
• Axioms and algorithms for inferences involving probabilistic independence
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Expressing second-order sentences in intuitionistic dependence logic
• From IF to BI. A tale of dependence and separation
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 1086489 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Relational hidden variables and non-locality
• Second-Order Logic and Foundations of Mathematics

This page was built for publication: Breaking the atom with Samson

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4922090)