The notion of module extraction has been studied extensively in the ontology community. The idea is to extract, from a large ontology, those axioms that are relevant to certain concepts of interest (formalised as a subsignature). The technical concept used for the definition of module extraction is that of inseparability, which is related to indistinguishability known from observational specifi...

We present two linear optical schemes using nonideal photodetectors to demonstrate inseparability of W -type N-partite entangled states containing only a single photon. First, we show that the pairwise entanglement of arbitrary two modes chosen from N optical modes can be detected using the method proposed by Nha and Kim [Phys. Rev. A 74, 012317 (2006)], thereby suggesting the full inseparabili...

Two elements in an oriented matroid are inseparable if they have either the same sign in every signed circuit containing them both or opposite signs in every signed circuit containing them both. Two elements of a matroid are adjacent if there is no M(K4)-minor using them both, and in which they correspond to a matching of K4. We prove that two elements e, { of an oriented matroid are inseparabl...

Science is very much a logical progression through time. Progressing along a logical path of discovery is rather like following a path through the wilderness. Occasionally the path splits, presenting a choice; the correct logical interpretation leads to further progress, the wrong choice leads to confusion. By considering deeply the relevant science history, one might begin to recognize past fa...

Entanglement, or quantum inseparability, is a crucial resource in quantum information applications, and therefore the experimental generation of separated yet entangled systems is of paramount importance. Experimental demonstrations of inseparability with light are not uncommon, but such demonstrations in physically well-separated massive systems, such as distinct gases of atoms, are new and pr...