×

Found 8,809 Documents (Results 701–800)

Physical computability theses. (English) Zbl 1498.68109

Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 217-231 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Kreisel’s interests. On the foundations of logic and mathematics. Contributions of the conference, Salzburg, Austria, August 13–14, 2018. (English) Zbl 1456.03005

Tributes 41. London: College Publications (ISBN 978-1-84890-330-2). viii, 171 p. (2020).
PDFBibTeX XMLCite

Reasoning: games, cognition, logic. Proceedings of the Poznań reasoning week multi-conference, Poznań, Poland, September 11–15, 2018. (English) Zbl 1456.03004

Studies in Logic (London) 83. London: College Publications (ISBN 978-1-84890-325-8/pbk). x, 203 p. (2020).
MSC:  03-06 03Bxx 00B25
PDFBibTeX XMLCite

The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. (English) Zbl 1446.03008

London: College Publications (ISBN 978-1-84890-327-2/pbk). 231 p. (2020).
PDFBibTeX XMLCite

Structures mères: semantics, mathematics, and cognitive science. (English) Zbl 1460.00003

Studies in Applied Philosophy, Epistemology and Rational Ethics 57. Cham: Springer (ISBN 978-3-030-51820-2/hbk; 978-3-030-51823-3/pbk; 978-3-030-51821-9/ebook). xi, 185 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Algebraic semantics for hybrid logics. (English) Zbl 1484.03032

Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 123-154 (2020).
MSC:  03B45 03G25
PDFBibTeX XMLCite
Full Text: DOI arXiv

David Bohm’s critique of modern physics. Letters to Jeffrey Bub, 1966–1969. With a foreword by Jeffrey Bub. (English) Zbl 1440.81012

Cham: Springer (ISBN 978-3-030-45536-1/hbk; 978-3-030-45537-8/ebook). xii, 375 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Coherence and probability. A study of probabilistic coherence models. (Kohärenz und Wahrscheinlichkeit. Eine Untersuchung probabilistischer Kohärenzmodelle.) (German) Zbl 1435.03007

Berlin: De Gruyter (ISBN 978-3-11-061135-9/hbk; 978-3-11-061265-3/ebook). viii, 204 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

A globally sound analytic calculus for Henkin quantifiers. (English) Zbl 1485.03140

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 128-143 (2020).
MSC:  03C80 03F03 03F05
PDFBibTeX XMLCite
Full Text: DOI

Beyond spacetime. The foundations of quantum gravity. (English) Zbl 1460.81001

Cambridge: Cambridge University Press (ISBN 978-1-108-47702-4/hbk; 978-1-108-65570-5/ebook). viii, 362 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. (English) Zbl 1444.03001

Logic in Asia: Studia Logica Library. Singapore: Springer (ISBN 978-981-15-1341-1/hbk; 978-981-15-1342-8/ebook). vii, 154 p. (2020).
MSC:  03-06 03Bxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Quantum, probability, logic. The work and influence of Itamar Pitowsky. (English) Zbl 1445.00001

Jerusalem Studies in Philosophy and History of Science. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). xxii, 627 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Annotated bibliography of the reviews of Austin’s translation of Grundlagen (1950) and the Translations volume by Geach und Black (1952). (Annotierte Bibliographie der Rezensionen zu Austins Übersetzung der Grundlagen (1950) sowie dem Translations-Band von Geach und Black (1952).) (German) Zbl 1434.01012

Wille, Matthias (ed.), Fregesche Variationen. Essays zu Ehren von Christian Thiel. Münster: Mentis Verlag. 221-231 (2020).
MSC:  01A60 03-00 03-03
PDFBibTeX XMLCite

A logical framework for modelling breast cancer progression. (English) Zbl 1525.92029

Chaves, Madalena (ed.) et al., Molecular logic and computational synthetic biology. First international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11415, 121-141 (2019).
MSC:  92C50 92C42 03B80
PDFBibTeX XMLCite
Full Text: DOI

Verification for everyone? An overview of dynamic logic. (English) Zbl 1522.03101

Chaves, Madalena (ed.) et al., Molecular logic and computational synthetic biology. First international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11415, 18-33 (2019).
PDFBibTeX XMLCite
Full Text: DOI

A generic framework for higher-order generalizations. (English) Zbl 1528.68156

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 10, 19 p. (2019).
MSC:  68Q42 03B40
PDFBibTeX XMLCite
Full Text: DOI

A first-order sequent calculus for logical inferentialists and expressivists. (English) Zbl 1505.03123

Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 211-228 (2019).
MSC:  03F03 03B10
PDFBibTeX XMLCite

Non-constructive procedural theory of propositional problems and the equivalence of solutions. (English) Zbl 1505.03072

Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 197-210 (2019).
MSC:  03B60 03B38 03F03
PDFBibTeX XMLCite

Free logic and the quantified argument calculus. (English) Zbl 1465.03096

Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 105-115 (2019).
MSC:  03F03 03B16 03B65
PDFBibTeX XMLCite
Full Text: DOI Link

The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. (English) Zbl 1446.03007

London: College Publications (ISBN 978-1-84890-307-4/pbk). 244 p. (2019).
PDFBibTeX XMLCite

Translating ‘Bedeutung’ in Frege’s writings: a case study and cautionary tale in the history and philosophy of translation. (English) Zbl 1465.03003

Ebert, Philip A. (ed.) et al., Essays on Frege’s Basic laws of arithmetic. Oxford: Oxford University Press. 588-636 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Adventures in the world of logic. Essays in honor of María Manzano. (Aventuras en el mundo de la lógica. Ensayos en honor a María Manzano.) (Spanish) Zbl 1446.03002

Cuadernos de Lógica, Epistemología y Lenguaje 13. London: College Publications (ISBN 978-1-84890-322-7/pbk). xiii, 423 p. (2019).
PDFBibTeX XMLCite

The concepts of proof and ground. (English) Zbl 1469.03159

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 291-309 (2019).
MSC:  03F03 03A05
PDFBibTeX XMLCite
Full Text: DOI

Through an inference rule, darkly. (English) Zbl 1469.03158

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 131-158 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software