Logic in the Torah

Logic in the Torah is a ‘thematic compilation’ by Avi Sion. It collects in one volume essays that he has written on this subject in Judaic Logic (1995) and A Fortiori Logic (2013), in which traces of logic in the Torah and related religious documents (the Nakh, the Christian Bible, and the Koran and Hadiths) are identified and analyzed

Logic in the Talmud

Logic in the Talmud is a ‘thematic compilation’ by Avi Sion. It collects in one volume essays that he has written on this subject in Judaic Logic (1995) and A Fortiori Logic (2013), in which traces of logic in the Talmud (the Mishna and Gemara) are identified and analyzed. While this book does not constitute an exhaustive study of logic in the Talmud, it is a ground-breaking and extensive study

Generic Trace Logics

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova

Computing with spins: From classical to quantum computing

This article traces a brief history of the use of single electron spins to compute. In classical computing schemes, a binary bit is represented by the spin polarization of a single electron confined in a quantum dot. If a weak magnetic field is present, the spin orientation becomes a binary variable which can encode logic 0 and logic 1. Coherent superposition of these two polarizations represent a qubit. By engineering the exchange interaction between closely spaced spins in neighboring quantum dots, it is possible to implement either classical or quantum logic gates.Comment: 3 figure