Standard Logics Are Valuation-Nonmonotonic
暂无分享,去创建一个
[1] Norman D. Megill,et al. Exhaustive enumeration of Kochen-Specker vector systems , 2004 .
[2] Mladen Pavicic,et al. Is Quantum Logic a Logic , 2008, 0812.2698.
[3] Norman D. Megill,et al. Algorithms for Greechie Diagrams , 2000 .
[4] Norman D. Megill,et al. Equivalencies, Identities, Symmetric Differences, and Congruencies in Orthomodular Lattices , 2003 .
[5] Adam Grabowski,et al. Orthomodular Lattices , 2008, Formaliz. Math..
[6] Eric Schechter. Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions , 2005 .
[7] Norman D. Megill,et al. INSTITUTE OF PHYSICS PUBLISHING JOURNAL OF PHYSICS A: MATHEMATICAL AND GENERAL J. Phys. A: Math. Gen. 38 (2005) 1577–1592 doi:10.1088/0305-4470/38/7/013 , 2022 .
[8] Willard Van Orman Quine,et al. Methods of Logic , 1951 .
[9] G. Boole. An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities , 2007 .
[10] Mladen Pavicic,et al. Quantum logic and quantum computation , 2008, 0812.3072.
[11] Hugues Leblanc,et al. Alternatives to Standard First-Order Semantics , 1989 .
[12] Mladen Pavi. Minimal Quantum Logic with Merged Implications , 1987 .
[13] Mladen Pavičić,et al. Quantum Computation and Quantum Communication:: Theory and Experiments , 2005 .
[14] Dov M. Gabbay,et al. Elements of classical logic , 1994 .
[15] M. Pavicic,et al. Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers , 1999 .
[16] Karl Svozil,et al. Quantum Logic , 1998, Discrete mathematics and theoretical computer science.
[17] Ladislav Beran,et al. Orthomodular Lattices: Algebraic Approach , 1985 .
[18] Mladen Pavičić,et al. Deduction, Ordering, and Operations in Quantum Logic , 2001 .
[19] Norman D. Megill,et al. BINARY ORTHOLOGIC WITH MODUS PONENS IS EITHER ORTHOMODULAR OR DISTRIBUTIVE , 1998 .
[20] Dov M. Gabbay,et al. Handbook of Quantum logic and Quantum Structures , 2007 .
[21] D. Hilbert,et al. Principles of Mathematical Logic , 1950 .
[23] George Boole,et al. An Investigation of the Laws of Thought: Frontmatter , 2009 .
[24] Identity Rule for Classical and Quantum Theories , 1998 .