×

Found 1,312 Documents (Results 1–100)

Verified completeness in Henkin-style for intuitionistic propositional logic. (English) Zbl 1535.68467

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 36-48 (2023).
MSC:  68V20 03B20 03B35
PDFBibTeX XMLCite
Full Text: arXiv Link

Platonism and the proto-ontology of mathematics: learning from the Axiom of choice. (English) Zbl 1532.00016

Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 99-134 (2023).
MSC:  00A30
PDFBibTeX XMLCite
Full Text: DOI

Revising logics. (English) Zbl 07740519

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 303-320 (2022).
PDFBibTeX XMLCite
Full Text: DOI

From intuitionistic mathematics to point-free topology. (English) Zbl 1528.03247

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 55-98 (2022).
MSC:  03F55
PDFBibTeX XMLCite
Full Text: DOI

Formalizing axiomatic systems for propositional logic in Isabelle/HOL. (English) Zbl 1485.68292

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 32-46 (2021).
MSC:  68V20 03B05 03B20
PDFBibTeX XMLCite
Full Text: DOI Link

Connecting sequent calculi with Lorenzen-style dialogue games. (English) Zbl 1490.03014

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 115-141 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Conceptions of infinity and set in Lorenzen’s operationist system. (English) Zbl 1494.03011

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 23-46 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Intuitionistic/constructive accounts of the continuum today. (English) Zbl 1467.03032

Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 476-501 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Russian constructivism in a prefascist theory. (English) Zbl 1498.03159

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 782-794 (2020).
PDFBibTeX XMLCite
Full Text: DOI HAL

L. E. J. Brouwer: Intuitionism. 2nd edition. (L. E. J. Brouwer: Intuitionismus.) (German) Zbl 1476.03001

Mathematik im Kontext. Berlin: Springer Spektrum (ISBN 978-3-662-61388-7/pbk; 978-3-662-61389-4/ebook). ix, 191 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

From mathesis universalis to provability, computability, and constructivity. (English) Zbl 1469.03113

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, 203-234 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Generalized realizability for extensions of the language of arithmetic. (English. Russian original) Zbl 1454.03079

Mosc. Univ. Math. Bull. 74, No. 4, 167-170 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50-54 (2019).
MSC:  03F30 03F50 03F55
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

Software