Fraser, Patrick; Nurgalieva, Nuriya; del Rio, Lídia Quantum epistemology and constructivism. (English) Zbl 07785156 J. Philos. Log. 52, No. 6, 1561-1574 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{P. Fraser} et al., J. Philos. Log. 52, No. 6, 1561--1574 (2023; Zbl 07785156) Full Text: DOI arXiv
Mollica, Leona The logic of action and control. (English) Zbl 07753829 J. Philos. Log. 52, No. 5, 1237-1268 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{L. Mollica}, J. Philos. Log. 52, No. 5, 1237--1268 (2023; Zbl 07753829) Full Text: DOI
Schurz, Gerhard Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism. (English) Zbl 07484054 J. Philos. Log. 51, No. 1, 27-55 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{G. Schurz}, J. Philos. Log. 51, No. 1, 27--55 (2022; Zbl 07484054) Full Text: DOI
Kamide, Norihiro Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems. (English) Zbl 07413737 J. Philos. Log. 50, No. 4, 781-811 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{N. Kamide}, J. Philos. Log. 50, No. 4, 781--811 (2021; Zbl 07413737) Full Text: DOI
Jockwich Martinez, S.; Venturi, G. On negation for non-classical set theories. (English) Zbl 07365451 J. Philos. Log. 50, No. 3, 549-570 (2021). MSC: 03E40 03E70 03B53 PDFBibTeX XMLCite \textit{S. Jockwich Martinez} and \textit{G. Venturi}, J. Philos. Log. 50, No. 3, 549--570 (2021; Zbl 07365451) Full Text: DOI
Berto, Francesco; Restall, Greg Negation on the Australian plan. (English) Zbl 1457.03007 J. Philos. Log. 48, No. 6, 1119-1144 (2019). MSC: 03A05 03B45 03B50 03B47 PDFBibTeX XMLCite \textit{F. Berto} and \textit{G. Restall}, J. Philos. Log. 48, No. 6, 1119--1144 (2019; Zbl 1457.03007) Full Text: DOI
Leitgeb, Hannes HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). (English) Zbl 1457.03057 J. Philos. Log. 48, No. 2, 305-405 (2019). MSC: 03B60 03A05 PDFBibTeX XMLCite \textit{H. Leitgeb}, J. Philos. Log. 48, No. 2, 305--405 (2019; Zbl 1457.03057) Full Text: DOI
Zardini, Elia Instability and contraction. Méditations hégéliennes. I. (English) Zbl 1459.03006 J. Philos. Log. 48, No. 1, 155-188 (2019). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 PDFBibTeX XMLCite \textit{E. Zardini}, J. Philos. Log. 48, No. 1, 155--188 (2019; Zbl 1459.03006) Full Text: DOI
Kamide, Norihiro Proof theory of paraconsistent quantum logic. (English) Zbl 1437.03178 J. Philos. Log. 47, No. 2, 301-324 (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G12 03B53 03F03 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, J. Philos. Log. 47, No. 2, 301--324 (2018; Zbl 1437.03178) Full Text: DOI
De, Michael; Omori, Hitoshi There is more to negation than modality. (English) Zbl 1436.03032 J. Philos. Log. 47, No. 2, 281-299 (2018). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{M. De} and \textit{H. Omori}, J. Philos. Log. 47, No. 2, 281--299 (2018; Zbl 1436.03032) Full Text: DOI Link
Elliott, Edward A representation theorem for frequently irrational agents. (English) Zbl 1422.91247 J. Philos. Log. 46, No. 5, 467-506 (2017). MSC: 91B16 03B42 PDFBibTeX XMLCite \textit{E. Elliott}, J. Philos. Log. 46, No. 5, 467--506 (2017; Zbl 1422.91247) Full Text: DOI Link
Pelosse, Yohan The intrinsic quantum nature of Nash equilibrium mixtures. (English) Zbl 1348.91015 J. Philos. Log. 45, No. 1, 25-64 (2016). MSC: 91A10 91A06 03B50 03B45 81P45 PDFBibTeX XMLCite \textit{Y. Pelosse}, J. Philos. Log. 45, No. 1, 25--64 (2016; Zbl 1348.91015) Full Text: DOI Link
Baltag, Alexandru; Smets, Sonja Logics of informational interactions. (English) Zbl 1336.03020 J. Philos. Log. 44, No. 6, 595-607 (2015). MSC: 03B42 03G12 PDFBibTeX XMLCite \textit{A. Baltag} and \textit{S. Smets}, J. Philos. Log. 44, No. 6, 595--607 (2015; Zbl 1336.03020) Full Text: DOI
Harding, John Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\). (English) Zbl 1345.03022 J. Philos. Log. 42, No. 3, 461-465 (2013). MSC: 03B25 06C15 PDFBibTeX XMLCite \textit{J. Harding}, J. Philos. Log. 42, No. 3, 461--465 (2013; Zbl 1345.03022) Full Text: DOI
Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan Editors’ introduction: The third life of quantum logic: Quantum logic inspired by quantum computing. (English) Zbl 1276.03047 J. Philos. Log. 42, No. 3, 443-459 (2013). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 03G12 81P68 PDFBibTeX XMLCite \textit{J. M. Dunn} et al., J. Philos. Log. 42, No. 3, 443--459 (2013; Zbl 1276.03047) Full Text: DOI arXiv
Barnum, Howard; Duncan, Ross; Wilce, Alexander Symmetry, compact closure and dagger compactness for categories of convex operational models. (English) Zbl 1273.81028 J. Philos. Log. 42, No. 3, 501-523 (2013). MSC: 81P16 81P05 18D10 18D15 PDFBibTeX XMLCite \textit{H. Barnum} et al., J. Philos. Log. 42, No. 3, 501--523 (2013; Zbl 1273.81028) Full Text: DOI arXiv
Harding, John Daggers, kernels, Baer *-semigroups, and orthomodularity. (English) Zbl 1285.81004 J. Philos. Log. 42, No. 3, 535-549 (2013). Reviewer: Horst Szambien (Garbsen) MSC: 81P10 06C15 16W10 18E05 20M20 PDFBibTeX XMLCite \textit{J. Harding}, J. Philos. Log. 42, No. 3, 535--549 (2013; Zbl 1285.81004) Full Text: DOI
van Deemter, Kees Utility and language generation: The case of vagueness. (English) Zbl 1189.03037 J. Philos. Log. 38, No. 6, 607-632 (2009). MSC: 03B65 03A05 68T50 PDFBibTeX XMLCite \textit{K. van Deemter}, J. Philos. Log. 38, No. 6, 607--632 (2009; Zbl 1189.03037) Full Text: DOI
Kronz, Fred Non-monotonic probability theory and photon polarization. (English) Zbl 1117.81004 J. Philos. Log. 36, No. 4, 449-472 (2007). MSC: 81P05 60A05 PDFBibTeX XMLCite \textit{F. Kronz}, J. Philos. Log. 36, No. 4, 449--472 (2007; Zbl 1117.81004) Full Text: DOI
Calabrese, Philip G. Toward a more natural expression of quantum logic with Boolean fractions. (English) Zbl 1094.81009 J. Philos. Log. 34, No. 4, 363-401 (2005). MSC: 81P10 03B48 03G12 PDFBibTeX XMLCite \textit{P. G. Calabrese}, J. Philos. Log. 34, No. 4, 363--401 (2005; Zbl 1094.81009) Full Text: DOI arXiv
Peterson, Martin From outcomes to acts: a non-standard axiomatization of the expected utility principle. (English) Zbl 1090.91028 J. Philos. Log. 33, No. 4, 361-378 (2004). MSC: 91B16 PDFBibTeX XMLCite \textit{M. Peterson}, J. Philos. Log. 33, No. 4, 361--378 (2004; Zbl 1090.91028) Full Text: DOI
Hintikka, Jaakko Quantum logic as a fragment of independence-friendly logic. (English) Zbl 1011.03049 J. Philos. Log. 31, No. 3, 197-209 (2002). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 03G12 03B60 PDFBibTeX XMLCite \textit{J. Hintikka}, J. Philos. Log. 31, No. 3, 197--209 (2002; Zbl 1011.03049) Full Text: DOI
McCall, Storrs Axiomatic quantum theory. (English) Zbl 1003.81004 J. Philos. Log. 30, No. 5, 465-477 (2001). Reviewer: Horst Szambien (Garbsen) MSC: 81P10 03G12 PDFBibTeX XMLCite \textit{S. McCall}, J. Philos. Log. 30, No. 5, 465--477 (2001; Zbl 1003.81004) Full Text: DOI
Halvorson, Hans On the nature of continuous physical quantities in classical and quantum mechanics. (English) Zbl 1018.81002 J. Philos. Log. 30, No. 1, 27-50 (2001). MSC: 81P05 81P10 81S05 PDFBibTeX XMLCite \textit{H. Halvorson}, J. Philos. Log. 30, No. 1, 27--50 (2001; Zbl 1018.81002) Full Text: DOI arXiv
Meyer, Robert K. \(\supset\)E is admissible in “true” relevant arithmetic. (English) Zbl 0967.03016 J. Philos. Log. 27, No. 4, 327-351 (1998). MSC: 03B47 PDFBibTeX XMLCite \textit{R. K. Meyer}, J. Philos. Log. 27, No. 4, 327--351 (1998; Zbl 0967.03016) Full Text: DOI
Delmas-Rigoutsos, Yannis A double deduction system for quantum logic based on natural deduction. (English) Zbl 0868.03029 J. Philos. Log. 26, No. 1, 57-67 (1997). Reviewer: Jānis Cīrulis (Riga) MSC: 03G12 03B60 81P10 06C15 PDFBibTeX XMLCite \textit{Y. Delmas-Rigoutsos}, J. Philos. Log. 26, No. 1, 57--67 (1997; Zbl 0868.03029) Full Text: DOI
Hellman, Geoffrey Gleason’s theorem is not constructively provable. (English) Zbl 0785.03041 J. Philos. Log. 22, No. 2, 193-203 (1993). Reviewer: G.Hellman (Minneapolis) MSC: 03F60 46S30 81P10 46N50 PDFBibTeX XMLCite \textit{G. Hellman}, J. Philos. Log. 22, No. 2, 193--203 (1993; Zbl 0785.03041) Full Text: DOI
Sandu, Gabriel On the logic of informational independence and its applications. (English) Zbl 0764.03009 J. Philos. Log. 22, No. 1, 29-60 (1993). Reviewer: G.Sandu MSC: 03B60 03A05 03B65 03B45 PDFBibTeX XMLCite \textit{G. Sandu}, J. Philos. Log. 22, No. 1, 29--60 (1993; Zbl 0764.03009) Full Text: DOI
Hughes, R. I. G. Semantic alternatives in partial Boolean quantum logic. (English) Zbl 0585.03036 J. Philos. Logic 14, 411-446 (1985). Reviewer: H.Nishimura MSC: 03G12 PDFBibTeX XMLCite \textit{R. I. G. Hughes}, J. Philos. Log. 14, 411--446 (1985; Zbl 0585.03036) Full Text: DOI
Katz, Michael The logic of approximation in quantum theory. (English) Zbl 0497.03013 J. Philos. Logic 11, 215-228 (1982). MSC: 03B50 81P10 03G12 PDFBibTeX XMLCite \textit{M. Katz}, J. Philos. Log. 11, 215--228 (1982; Zbl 0497.03013) Full Text: DOI
Holdsworth, David G. Category theory and quantum mechanics (kinematics). (English) Zbl 0392.03041 J. Philos. Logic 6, 441-453 (1977). MSC: 03G30 18A15 81P10 70A05 PDFBibTeX XMLCite \textit{D. G. Holdsworth}, J. Philos. Log. 6, 441--453 (1977; Zbl 0392.03041) Full Text: DOI
Drieschner, M. Is (quantum) logic empirical? (English) Zbl 0369.02009 J. Philos. Logic 6, 415-423 (1977). MSC: 03A05 03B99 PDFBibTeX XMLCite \textit{M. Drieschner}, J. Philos. Log. 6, 415--423 (1977; Zbl 0369.02009) Full Text: DOI
Hardegree, Gary M. Stalnaker conditionals and quantum logic. (English) Zbl 0357.02024 J. Philos. Logic 4, 399-421 (1975). MSC: 03B99 06C05 PDFBibTeX XMLCite \textit{G. M. Hardegree}, J. Philos. Log. 4, 399--421 (1975; Zbl 0357.02024) Full Text: DOI
Marsden, E. L. Compatible elements in implicative models. (English) Zbl 0259.02046 J. philos. Logic 1, 156-161 (1972). MSC: 03B99 03C99 03G05 PDFBibTeX XMLCite \textit{E. L. Marsden}, J. Philos. Log. 1, 156--161 (1972; Zbl 0259.02046) Full Text: DOI