{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:18:39Z","timestamp":1725596319977},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852335403"},{"type":"electronic","value":"9781447101291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-1-4471-0129-1_8","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T14:11:06Z","timestamp":1310998266000},"page":"201-230","source":"Crossref","is-referenced-by-count":0,"title":["Derivation Schemes in Twin Open Set Logic"],"prefix":"10.1007","author":[{"given":"Michael D.","family":"Westmoreland","sequence":"first","affiliation":[]},{"given":"Joan","family":"Krone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","first-page":"823","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff G. and von Neumann J. The logic of quantum mechanics Ann. of Math. 37 (1936) 823\u201343.","journal-title":"The logic of quantum mechanics Ann. of Math."},{"key":"8_CR2","unstructured":"Cohen - Tannoudji C., Diu B., and Laloe F. Quantum Mechanics, Vol. I (John Wiley and Sons, New York, 1977)."},{"key":"8_CR3","unstructured":"Cohen - Tannoudji C., Diu B. and Laloe F. Quantum Mechanics, Vol. II (John Wiley and Sons, New York, 1977)."},{"key":"8_CR4","volume-title":"Feynman Lectures on Computation","author":"RP Feynman","year":"1996","unstructured":"Feynman R.P. Feynman Lectures on Computation (Addison Wesley, Reading, Massachusetts, 1996)."},{"key":"8_CR5","unstructured":"Hardegree G.M. The conditional in abstract and concrete quantum logic In: Hooker C.A., Editor The Logico-Algebraic Approach to Quantum Mechanics, Volume II (Reidel, Dordrecht-Holland, 1975)."},{"key":"8_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511570674","volume-title":"Particles and Paradoxes: The Limits of Quantum Logic","author":"P Gibbins","year":"1987","unstructured":"Gibbins P. Particles and Paradoxes: The Limits of Quantum Logic (Cambridge University Press, Cambridge and New York, 1987)."},{"key":"8_CR7","volume-title":"General Lattice Theory","author":"G Gr\u00e4tzer","year":"1998","unstructured":"Gr\u00e4tzer G. General Lattice Theory (Birkh\u00e4user, Basel, 1998)."},{"key":"8_CR8","volume-title":"A Logical Approach to Discrete Maths","author":"D Gries","year":"1994","unstructured":"Gries D. and Schneider F.B. A Logical Approach to Discrete Maths (Springer-Verlag, New York, Berlin, and Heidelberg, 1994)."},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"MD Westmoreland","year":"1938","unstructured":"Kleene S.C. On a notion for ordinal numbers J. Symbolic Logic 3 (1938) 150\u2013155.","journal-title":"On a notion for ordinal numbers J. Symbolic Logic"},{"key":"8_CR10","first-page":"405","volume":"6","author":"J. Krone","year":"2001","unstructured":"Krone J. and Westmoreland M.D. Collision models for multiple-value gates The Journal of Multiple Valued Logic 6 (2001) 405\u2013421.","journal-title":"The Journal of Multiple Valued Logic"},{"key":"8_CR11","volume-title":"Topology: A First Course (Prentice-Hall","author":"JF Munkres","year":"1974","unstructured":"Munkres J.F. Topology: A First Course (Prentice-Hall, Englewood Cliffs, NJ, 1974)."},{"key":"8_CR12","volume-title":"Quantum Computation and Quantum Computation","author":"MA Nielsen","year":"2000","unstructured":"Nielsen M.A. and Chuang I.L. Quantum Computation and Quantum Computation (Cambridge University Press, Cambridge, 2000)."},{"key":"8_CR13","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198519737.001.0001","volume-title":"The Emporer\u2019s New Mind","author":"R Penrose","year":"1989","unstructured":"Penrose R. The Emporer\u2019s New Mind (Oxford University Press, Oxford, 1989)."},{"key":"8_CR14","volume-title":"Quantum Theory: Concepts and MethodsLondon","author":"A Peres","year":"1993","unstructured":"Peres A. Quantum Theory: Concepts and Methods (Kluwer Academic Press, Dordrecht, Boston, London, 1993)."},{"key":"8_CR15","unstructured":"Reichenbach H. Philosophic Foundations of Quantum Mechanics (University of California Press, Berkeley and Los Angeles, 1944, 1965);29\u201337 reprinted in The Logico-Algebraic Approach to Quantum Mechanics C. A. Hooker, Editor (Reidel, Dordrecht-Holland, 1975)"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1103\/PhysRevA.48.977","volume":"48","author":"MD Westmoreland","year":"1993","unstructured":"Westmoreland M.D. and Schumacher B.W. Non-Boolean derived logics for classical systems Phys. Rev. A 48 (1993) 977\u2013985.","journal-title":"Rev. A"},{"key":"8_CR17","first-page":"31","volume":"35","author":"MD Westmoreland","year":"1938","unstructured":"Westmoreland M.D., Schumacher B.W. and Bailey S. Three-valued logics for classical phase spaces International Journal of Theoretical Physics 35 (1996) 31\u201362.","journal-title":"Three-valued logics for classical phase spaces International Journal of Theoretical Physics"},{"key":"8_CR18","first-page":"236","volume":"120","author":"MD Westmoreland","year":"1938","unstructured":"Westmoreland M.D., Krone J. and Schumacher B.W. Analysis of billiard ball computation using phase space logics Physica D 120 (1998) 236\u2013252.","journal-title":"Analysis of billiard ball computation using phase space logics Physica"}],"container-title":["Collision-Based Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0129-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,28]],"date-time":"2021-11-28T04:35:13Z","timestamp":1638074113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0129-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781852335403","9781447101291"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0129-1_8","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}