Leach-Krouse, Graham Burali-Forti as a purely logical paradox. (English) Zbl 07146106 J. Philos. Log. 48, No. 5, 885-908 (2019). MSC: 03A05 03E30 PDF BibTeX XML Cite \textit{G. Leach-Krouse}, J. Philos. Log. 48, No. 5, 885--908 (2019; Zbl 07146106) Full Text: DOI
Zardini, Elia Instability and contraction. Méditations hégéliennes. I. (English) Zbl 07063649 J. Philos. Log. 48, No. 1, 155-188 (2019). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 PDF BibTeX XML Cite \textit{E. Zardini}, J. Philos. Log. 48, No. 1, 155--188 (2019; Zbl 07063649) Full Text: DOI
Golińska-Pilarek, Joanna; Huuskonen, Taneli A mystery of Grzegorczyk’s logic of descriptions. (English) Zbl 07003811 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 731-745 (2018). MSC: 03-03 03B60 PDF BibTeX XML Cite \textit{J. Golińska-Pilarek} and \textit{T. Huuskonen}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 731--745 (2018; Zbl 07003811) Full Text: DOI
Halbach, Volker; Nicolai, Carlo On the costs of nonclassical logic. (English) Zbl 1436.03167 J. Philos. Log. 47, No. 2, 227-257 (2018). MSC: 03B60 03A05 PDF BibTeX XML Cite \textit{V. Halbach} and \textit{C. Nicolai}, J. Philos. Log. 47, No. 2, 227--257 (2018; Zbl 1436.03167) Full Text: DOI
Tajer, Diego Logical disagreement and aggregation. (Spanish. English summary) Zbl 1388.03014 Theoria, Segunda Epoca 32, No. 1, 63-87 (2017). MSC: 03A05 03B47 03B60 PDF BibTeX XML Cite \textit{D. Tajer}, Theoria, Segunda Epoca 32, No. 1, 63--87 (2017; Zbl 1388.03014) Full Text: DOI
Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan Implementing Cantor’s paradise. (English) Zbl 06667495 Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47957-6/pbk; 978-3-319-47958-3/ebook). Lecture Notes in Computer Science 10017, 229-250 (2016). MSC: 68Nxx PDF BibTeX XML Cite \textit{F. Honsell} et al., Lect. Notes Comput. Sci. 10017, 229--250 (2016; Zbl 06667495) Full Text: DOI
Lomonaco, Samuel J. How to build a device that cannot be built. (English) Zbl 1338.81140 Quantum Inf. Process. 15, No. 3, 1043-1056 (2016). MSC: 81P68 68Q12 81P45 81P40 81P13 81Q93 03G12 81P10 PDF BibTeX XML Cite \textit{S. J. Lomonaco}, Quantum Inf. Process. 15, No. 3, 1043--1056 (2016; Zbl 1338.81140) Full Text: DOI
Corrêa, Raul; Santos, Marcelo França; Monken, C. H.; Saldanha, Pablo L. ‘Quantum Cheshire Cat’ as simple quantum interference. (English) Zbl 1452.81032 New J. Phys. 17, No. 5, Article ID 053042, 7 p. (2015). MSC: 81P40 81P10 PDF BibTeX XML Cite \textit{R. Corrêa} et al., New J. Phys. 17, No. 5, Article ID 053042, 7 p. (2015; Zbl 1452.81032) Full Text: DOI
Pleitz, Martin Curry’s paradox and the inclosure schema. (English) Zbl 1381.03013 Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 233-248 (2015). MSC: 03A05 03B53 PDF BibTeX XML Cite \textit{M. Pleitz}, in: The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16--20, 2014. London: College Publications. 233--248 (2015; Zbl 1381.03013)
Abramsky, Samson; Barbosa, Rui Soares; Kishida, Kohei; Lal, Raymond; Mansfield, Shane Contextuality, cohomology and paradox. (English) Zbl 1373.03048 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 211-228 (2015). MSC: 03B80 03A05 55N30 68P15 81P13 PDF BibTeX XML Cite \textit{S. Abramsky} et al., LIPIcs -- Leibniz Int. Proc. Inform. 41, 211--228 (2015; Zbl 1373.03048) Full Text: DOI arXiv
David, François The formalisms of quantum mechanics. An introduction. (English) Zbl 1309.81003 Lecture Notes in Physics 893. Cham: Springer (ISBN 978-3-319-10538-3/pbk; 978-3-319-10539-0/ebook). vii, 157 p. (2015). Reviewer: Nicola Cufaro Petroni (Bari) MSC: 81-01 81P10 81P05 81P45 00A79 PDF BibTeX XML Cite \textit{F. David}, The formalisms of quantum mechanics. An introduction. Cham: Springer (2015; Zbl 1309.81003) Full Text: DOI
Murzi, Julien; Carrara, Massimiliano More reflections on consequence. (English) Zbl 1369.03060 Log. Anal., Nouv. Sér. 57, No. 227, 223-258 (2014). MSC: 03A05 03C07 03F03 03-06 00B15 PDF BibTeX XML Cite \textit{J. Murzi} and \textit{M. Carrara}, Log. Anal., Nouv. Sér. 57, No. 227, 223--258 (2014; Zbl 1369.03060) Full Text: DOI
Bruni, Riccardo Beppo Levi’s analysis of the paradoxes. (English) Zbl 1302.03014 Log. Univers. 7, No. 2, 211-231 (2013). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 01A60 03-03 PDF BibTeX XML Cite \textit{R. Bruni}, Log. Univers. 7, No. 2, 211--231 (2013; Zbl 1302.03014) Full Text: DOI
Forster, Thomas; Libert, Thierry An order-theoretic account of some set-theoretic paradoxes. (English) Zbl 1233.03056 Notre Dame J. Formal Logic 52, No. 1, 1-19 (2011). MSC: 03E65 03E70 PDF BibTeX XML Cite \textit{T. Forster} and \textit{T. Libert}, Notre Dame J. Formal Logic 52, No. 1, 1--19 (2011; Zbl 1233.03056) Full Text: DOI
Dodgson, Charles Lutwidge The logic pamphlets of Charles Lutwidge Dodgson and related pieces. Edited, with introductory essays, notes and annotations by Francine F. Abeles. (English) Zbl 1239.01121 The Pamphlets of Lewis Carroll 4. New York, NY: Lewis Carroll Society of North America; Charlottesville, VA: University of Virginia Press/distribut. (ISBN 978-0-930326-25-8). xx, 271 p. (2010). Reviewer: Grozio Stanilov (Sofia) MSC: 01A75 01A55 03B05 03-03 00B10 PDF BibTeX XML Cite \textit{C. L. Dodgson}, The logic pamphlets of Charles Lutwidge Dodgson and related pieces. Edited, with introductory essays, notes and annotations by Francine F. Abeles. New York, NY: Lewis Carroll Society of North America; Charlottesville, VA: University of Virginia Press/distribut. (2010; Zbl 1239.01121)
Dokic, Jérôme; Égré, Paul Margin for error and the transparency of knowledge. (English) Zbl 1173.03006 Synthese 166, No. 1, 1-20 (2009). Reviewer: Max A. Freund (San José) MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{J. Dokic} and \textit{P. Égré}, Synthese 166, No. 1, 1--20 (2009; Zbl 1173.03006) Full Text: DOI
Barrero, Tomás; Carnielli, Walter Tableaux without refutation. (Tableaux sin refutación.) (Spanish. English summary) Zbl 1132.03311 Mat., Enseñ. Univ. (N.S.) 13, No. 2, 81-99 (2005). MSC: 03B20 03B35 03B53 PDF BibTeX XML Cite \textit{T. Barrero} and \textit{W. Carnielli}, Mat., Enseñ. Univ. (N.S.) 13, No. 2, 81--99 (2005; Zbl 1132.03311)
Slater, Hartley Choice and logic. (English) Zbl 1086.03006 J. Philos. Log. 34, No. 2, 207-216 (2005). MSC: 03A05 PDF BibTeX XML Cite \textit{H. Slater}, J. Philos. Log. 34, No. 2, 207--216 (2005; Zbl 1086.03006) Full Text: DOI
Whittle, Bruno Dialetheism, logical consequence and hierarchy. (English) Zbl 1060.03024 Analysis, Oxf. 64, No. 4, 318-326 (2004). MSC: 03A05 PDF BibTeX XML Cite \textit{B. Whittle}, Analysis, Oxf. 64, No. 4, 318--326 (2004; Zbl 1060.03024) Full Text: DOI
Serény, György Gödel, Tarski, Church, and the Liar. (English) Zbl 1042.03007 Bull. Symb. Log. 9, No. 1, 3-25 (2003). Reviewer: Reinhard Kahle (Coimbra) MSC: 03A05 PDF BibTeX XML Cite \textit{G. Serény}, Bull. Symb. Log. 9, No. 1, 3--25 (2003; Zbl 1042.03007) Full Text: DOI Link
Angell, Richard Bradshaw A-logic. (English) Zbl 1023.03001 Lanham, MD: University Press of America. xxii, 658 p. (2002). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03B60 03A05 03B47 PDF BibTeX XML Cite \textit{R. B. Angell}, A-logic. Lanham, MD: University Press of America (2002; Zbl 1023.03001)
Haack, Susan Philosophy of logics. (English) Zbl 1005.03002 Cambridge: Cambridge University Press. xvi, 276 p. (2000). Reviewer: Max A.Freund (San José) MSC: 03-02 03A05 PDF BibTeX XML Cite \textit{S. Haack}, Philosophy of logics. Cambridge: Cambridge University Press (2000; Zbl 1005.03002)
Maddy, Penelope A theory of sets and classes. (English) Zbl 1029.03045 Sher, Gila (ed.) et al., Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 299-316 (2000). MSC: 03E70 03A05 00A30 PDF BibTeX XML Cite \textit{P. Maddy}, in: Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 299--316 (2000; Zbl 1029.03045)
Putnam, Hilary Paradox revisited. II: Sets – a case of all or none? (English) Zbl 0986.03011 Sher, Gila (ed.) et al., Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 16-26 (2000). MSC: 03A05 PDF BibTeX XML Cite \textit{H. Putnam}, in: Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 16--26 (2000; Zbl 0986.03011)
Putnam, Hilary Paradox revisited. I: Truth. (English) Zbl 0986.03010 Sher, Gila (ed.) et al., Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 3-15 (2000). MSC: 03A05 PDF BibTeX XML Cite \textit{H. Putnam}, in: Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 3--15 (2000; Zbl 0986.03010)
Orlov, Yuri F. Quantum and classical Gödelian indeterminism, measurement, and informational collapse into the past. (English) Zbl 0983.81002 Greenberger, Daniel (ed.) et al., Epistemological and experimental perspectives on quantum physics. Dordrecht: Kluwer Academic Publishers. Vienna Circ. Inst. Yearb. 7, 89-102 (1999). MSC: 81P05 81P15 81P68 PDF BibTeX XML Cite \textit{Y. F. Orlov}, Vienna Circ. Inst. Yearb. 7, 89--102 (1999; Zbl 0983.81002)
Astroh, Michael Connexive logic. (English) Zbl 0934.03013 Nord. J. Philos. Log. 4, No. 1, 31-71 (1999). MSC: 03A05 03B05 PDF BibTeX XML Cite \textit{M. Astroh}, Nord. J. Philos. Log. 4, No. 1, 31--71 (1999; Zbl 0934.03013) Full Text: Link
Meyer, J.-J. Ch.; van der Hoek, W. Modal logics for representing incoherent knowledge. (English) Zbl 0932.03018 Besnard, Philippe (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 2: Reasoning with actual and potential contradictions. Dordrecht: Kluwer Academic Publishers. 37-75 (1998). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B42 68T30 03B45 PDF BibTeX XML Cite \textit{J. J. Ch. Meyer} and \textit{W. van der Hoek}, in: Handbook of defeasible reasoning and uncertainty management systems. Vol. 2: Reasoning with actual and potential contradictions. Dordrecht: Kluwer Academic Publishers. 37--75 (1998; Zbl 0932.03018)
da Costa, Newton C. A. Classical and non-classical logics: essay on the foundations of logic. (Logiques classiques et non classiques: essai sur les fondements de la logique. Traduit du portugais et complété par Jean-Yves Béziau.) (French) Zbl 0901.03002 Culture Scientifique. Paris: Masson. 275 p. (1997). Reviewer: I.D’Ottaviano (Campinas) MSC: 03-02 03A05 03B53 PDF BibTeX XML Cite \textit{N. C. A. da Costa}, Logiques classiques et non classiques: essai sur les fondements de la logique. Traduit du portugais et complété par Jean-Yves Béziau. Paris: Masson (1997; Zbl 0901.03002)
Hansen, Kaj Børge Applied logic. (English) Zbl 0861.03002 Acta Universitatis Upsaliensis. Studia Philosophica Upsaliensia. 3. Uppsala: Univ. Uppsala. 257 p. (1996). Reviewer: A.M.Coyne (Asheville) MSC: 03-02 03A05 68N17 PDF BibTeX XML Cite \textit{K. B. Hansen}, Applied logic. Uppsala: Univ. Uppsala (1996; Zbl 0861.03002)
Kauffman, Louis H. Virtual logic. (English) Zbl 0860.03007 Syst. Res. 13, No. 3, 293-310 (1996). Reviewer: L.Löfgren (Lund) MSC: 03A05 PDF BibTeX XML Cite \textit{L. H. Kauffman}, Syst. Res. 13, No. 3, 293--310 (1996; Zbl 0860.03007) Full Text: DOI
Garciadiego, Alejandro R. The principles of Mathematics of Bertrand Russell. A bibliographical note on its composition. An attempt to bring together the bibliographical data relevant to the composition of The Principles of Mathematics (May, 1903). (English) Zbl 0884.01025 Ramirez, Santiago (ed.) et al., Mexican studies in the history and philosophy of science. Dordrecht: Kluwer Academic Publishers. Boston Stud. Philos. Sci. 172, 213-234 (1995). Reviewer: A.C.Lewis (Indianapolis) MSC: 01A60 03-03 PDF BibTeX XML Cite \textit{A. R. Garciadiego}, Boston Stud. Philos. Sci. 172, 213--234 (1995; Zbl 0884.01025)
Brown, Allen L. jun.; Mantha, Surya; Wakayama, Toshiro Exploiting the normative aspect of preference: A deontic logic without actions. (English) Zbl 0866.03011 Ann. Math. Artif. Intell. 9, No. 1-2, 167-203 (1993). MSC: 03B60 03B45 PDF BibTeX XML Cite \textit{A. L. Brown jun.} et al., Ann. Math. Artif. Intell. 9, No. 1--2, 167--203 (1993; Zbl 0866.03011) Full Text: DOI
Svetlichny, George Quantum logic and physics. (English) Zbl 0786.03047 Int. J. Theor. Phys. 31, No. 9, 1797-1802 (1992). MSC: 03G12 81P10 PDF BibTeX XML Cite \textit{G. Svetlichny}, Int. J. Theor. Phys. 31, No. 9, 1797--1802 (1992; Zbl 0786.03047) Full Text: DOI
Goldshtik, M. A. Paradoxes of viscous flows. (English) Zbl 0751.76021 Fluid mechanics, Proc. 6th All-Union-Congr. Theoret. Appl. Mech., Tashkent/ USSR 1986, Mech. Eng. Appl. Mech. 2, 27-41 (1991). MSC: 76D05 35Q30 PDF BibTeX XML Cite \textit{M. A. Goldshtik}, in: Fluid mechanics. Materials of the 6th All-Union-Congress on theoretical and applied mechanics, held in Tashkent, USSR, September 1986. Transl. from the Russian by V. A. Khokhryakov. New York etc: Hemisphere Publishing Corporation. 27--41 (1991; Zbl 0751.76021)
Priest, Graham Classical logic aufgehoben. (English) Zbl 0695.03002 Paraconsistent logic, Essays on the inconsistent, 131-148 (1989). Reviewer: G.Priest MSC: 03A05 01A65 03-03 PDF BibTeX XML
Voishvillo, E. K. Philosophical-methodological aspects of relevant logic. (English) Zbl 0694.03005 Bull. Sect. Logic, Pol. Acad. Sci. 18, No. 4, 146-152 (1989). Reviewer: L.F.Goble MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{E. K. Voishvillo}, Bull. Sect. Logic, Pol. Acad. Sci. 18, No. 4, 146--152 (1989; Zbl 0694.03005)
Finkelstein, David Finite physics. (English) Zbl 0661.03049 The universal Turing machine, a half-century survey, 349-376 (1988). Reviewer: V.Ya.Kreinovich MSC: 03G12 81P05 81P10 PDF BibTeX XML
Gibbins, Peter Particles and paradoxes. The limits of quantum logic. (English) Zbl 0683.03001 Cambridge etc.: Cambridge University Press. XI, 181 p. (1987). Reviewer: M.Navara MSC: 03-02 81-02 81P05 81P10 03A05 00A30 81-03 01A60 03-01 81-01 PDF BibTeX XML
Fraïssé, R. La ramification selon Everett: une interprétation critiquée mais logiquement impeccable de la mécanique quantique. (French) Zbl 0647.03002 Hist. Philos. Log. 8, 215-241 (1987). Reviewer: A.Dvurečenskij MSC: 03A05 81P10 81P20 PDF BibTeX XML Cite \textit{R. Fraïssé}, Hist. Philos. Log. 8, 215--241 (1987; Zbl 0647.03002) Full Text: DOI
Wallace Garden, Rachel Modern logic and quantum mechanics. (English) Zbl 0586.03003 Bristol: Adam Hilger Ltd. XI, 177 p. £18.00 (1984). Reviewer: J.Cīrulis MSC: 03-02 81P10 60A05 70A05 81-02 81P05 03G12 03B60 03B45 PDF BibTeX XML
Feferman, Solomon Toward useful type-free theories. I. (English) Zbl 0574.03043 J. Symb. Log. 49, 75-111 (1984). Reviewer: G.Priest MSC: 03E70 03B50 03A05 PDF BibTeX XML Cite \textit{S. Feferman}, J. Symb. Log. 49, 75--111 (1984; Zbl 0574.03043) Full Text: DOI
Priest, Graham Logic of paradox revisited. (English) Zbl 0543.03004 J. Philos. Logic 13, 153-179 (1984). MSC: 03A05 PDF BibTeX XML Cite \textit{G. Priest}, J. Philos. Log. 13, 153--179 (1984; Zbl 0543.03004) Full Text: DOI
Rozonoèr, L. I. Proving contradictions in formal theories. II. (English. Russian original) Zbl 0532.03008 Autom. Remote Control 44, No. 7, 908-914 (1983); translation from Avtom. Telemekh. 1983, No. 7, 97-104 (1983). MSC: 03B60 PDF BibTeX XML Cite \textit{L. I. Rozonoèr}, Autom. Remote Control 44, No. 7, 908--914 (1983; Zbl 0532.03008); translation from Avtom. Telemekh. 1983, No. 7, 97--104 (1983)
Priest, Graham An anti-realist account of mathematical truth. (English) Zbl 0524.03006 Synthese 57, 49-65 (1983). MSC: 03A05 03E70 PDF BibTeX XML Cite \textit{G. Priest}, Synthese 57, 49--65 (1983; Zbl 0524.03006) Full Text: DOI
Hisdal, Ellen The IF THEN ELSE statement and interval-valued fuzzy sets of higher type. (English) Zbl 0471.03013 Int. J. Man-Mach. Stud. 15, 385-455 (1981). MSC: 03B35 03E72 03A05 PDF BibTeX XML Cite \textit{E. Hisdal}, Int. J. Man-Mach. Stud. 15, 385--455 (1981; Zbl 0471.03013) Full Text: DOI
Grosjean, P. V. Variations sur le paradoxe ”EPR”. (French) Zbl 0471.03006 Logique Anal., Nouv. Sér. 22, 375-380 (1979). MSC: 03A05 01A60 81P05 81P10 PDF BibTeX XML Cite \textit{P. V. Grosjean}, Log. Anal., Nouv. Sér. 22, 375--380 (1979; Zbl 0471.03006)
Ashworth, E. J. The treatment of semantic paradoxes from 1400 to 1700. (English) Zbl 0212.00901 Notre Dame J. Formal Logic 13, 34-52 (1972). Reviewer: E. J. Ashworth MSC: 03-03 01A40 01A65 PDF BibTeX XML Cite \textit{E. J. Ashworth}, Notre Dame J. Formal Logic 13, 34--52 (1972; Zbl 0212.00901) Full Text: DOI