Fortin, Sebastian; Lombardi, Olimpia; Martínez González, Juan Camilo A new application of the modal-Hamiltonian interpretation of quantum mechanics: the problem of optical isomerism. (English) Zbl 1390.81030 Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. 62, 123-135 (2018). MSC: 81P05 03B45 03B42 81Q10 81V80 81V55 00A79 PDFBibTeX XMLCite \textit{S. Fortin} et al., Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. 62, 123--135 (2018; Zbl 1390.81030) Full Text: DOI Link
Eva, Benjamin Modality and contextuality in topos quantum theory. (English) Zbl 1477.03257 Stud. Log. 104, No. 6, 1099-1118 (2016). MSC: 03G12 03B45 03B53 81P10 PDFBibTeX XMLCite \textit{B. Eva}, Stud. Log. 104, No. 6, 1099--1118 (2016; Zbl 1477.03257) Full Text: DOI
Bueno-Soler, Juliana Multimodal incompleteness under weak negations. (English) Zbl 1283.03038 Log. Univers. 7, No. 1, 21-31 (2013). MSC: 03B45 03B53 81P10 81P68 PDFBibTeX XMLCite \textit{J. Bueno-Soler}, Log. Univers. 7, No. 1, 21--31 (2013; Zbl 1283.03038) Full Text: DOI
Vol, E. D. Quantum theory as a relevant framework for the statement of probabilistic and many-valued logic. (English) Zbl 1264.81268 Int. J. Theor. Phys. 52, No. 2, 514-523 (2013). MSC: 81S22 81P15 03B45 03B42 PDFBibTeX XMLCite \textit{E. D. Vol}, Int. J. Theor. Phys. 52, No. 2, 514--523 (2013; Zbl 1264.81268) Full Text: DOI arXiv
Dal Lago, Ugo; Faggian, Claudia On multiplicative linear logic, modality and quantum circuits. (English) Zbl 1469.03166 Jacobs, Bart (ed.) et al., 8th international workshop on quantum physics and logic, Nijmegen, Netherlands, October 27–29, 2011. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 95, 55-66 (2012). MSC: 03F52 03B45 03G12 03F05 81P10 81P65 PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{C. Faggian}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 95, 55--66 (2012; Zbl 1469.03166) Full Text: arXiv Link
Masini, Andrea; Viganò, Luca; Zorzi, Margherita Modal deduction systems for quantum state transformations. (English) Zbl 1236.68073 J. Mult.-Val. Log. Soft Comput. 17, No. 5-6, 475-519 (2011). MSC: 68Q12 68Q05 03B45 03F05 81P68 PDFBibTeX XMLCite \textit{A. Masini} et al., J. Mult.-Val. Log. Soft Comput. 17, No. 5--6, 475--519 (2011; Zbl 1236.68073)
Dalla Chiara, Maria Luisa The relevance of quantum logic in the domain of non-classical logics. (English) Zbl 0616.03039 Logic, methodology and philosophy of science VII, Proc. 7th Int. Congr., Salzburg 1983, Stud. Logic Found. Math. 114, 241-253 (1986). Reviewer: R.Wallace Garden MSC: 03G12 81P10 03B45 PDFBibTeX XML
Agazzi, Evandro (ed.) [Bochenski, J. M.; Surma, S. J.; Schütte, Kurt; Macintyre, Angus J.; Kreisel, Georg; Barwise, J.; Rose, A.; Belnap, N. D. jun.; Casari, E.; Takeuti, G.; Hermes, H.; Troelstra, A. S.; Fenstad, Jens Erik; Reyes, G. E.; Agazzi, E.; Hintikka, J.; Böhm, C.; Massey, G. J.; Dalla Chiara, M. L.; Cohen, L. J.; Lejewski, C.; Von Wright, G. H.; Van Fraassen, B. C.; Stalnaker, R.; Perelman, C.] Modern logic — a survey. Historical, philosophical, and mathematical aspects of modern logic and its applications. (English) Zbl 0464.03001 Synthese Library, Vol. 149. Dordrecht, Boston, London: D. Reidel Publishing Company. VIII, 475 p. $ 68.50; Dfl. 130.00 (1981). MSC: 03-02 03-03 03A05 03Bxx 03Cxx 03Dxx 03Exx 03Fxx 03Gxx 03Hxx 03-XX 03F55 03D10 03B50 03G30 03B40 03B45 81P10 03G12 03-06 01A60 01A65 PDFBibTeX XML