×

Found 109 Documents (Results 1–100)

Oskar Becker and the modal translation of intuitionistic logic. (English) Zbl 07608783

Ademollo, Francesco (ed.) et al., Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai. Cham: Springer. Log. Epistemol. Unity Sci. 54, 355-368 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Chrysippus’ logic in a natural deduction setting. (English) Zbl 07608769

Ademollo, Francesco (ed.) et al., Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai. Cham: Springer. Log. Epistemol. Unity Sci. 54, 83-99 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Inadequacy of modal logic in quantum settings. (English) Zbl 1486.81008

Selinger, Peter (ed.) et al., Proceedings of the 15th international conference on quantum physics and logic, QPL’18, Halifax, Canada, June 3–7, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 287, 267-297 (2019).
MSC:  81P10 03G12 03B45
PDFBibTeX XMLCite
Full Text: arXiv Link

The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. (English) Zbl 1406.03005

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, 405-424 (2018).
MSC:  03-03 03A05 01A60
PDFBibTeX XMLCite
Full Text: DOI

Constructive embedding from extensions of logics of strict implication into modal logics. (English) Zbl 1429.03087

Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 223-251 (2016).
MSC:  03B45 03B20 03F05
PDFBibTeX XMLCite
Full Text: DOI

Conceptual confluence in 1936: Post and Turing. (English) Zbl 1400.01008

Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 3-27 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Leon Henkin the reviewer. (English) Zbl 1331.01025

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 93-133 (2014).
MSC:  01A70 01A60 03-03
PDFBibTeX XMLCite
Full Text: DOI

Topological semantics of justification logic. (English) Zbl 1138.03015

Hirsch, Edward A. (ed.) et al., Computer science – theory and applications. Third international computer science symposium in Russia, CSR 2008 Moscow, Russia, June 7–12, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79708-1/pbk). Lecture Notes in Computer Science 5010, 30-39 (2008).
MSC:  03B42 03B45 03F45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software