×

Found 3,121 Documents (Results 1–100)

Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07659854

J. Math. Sci., New York 269, No. 4, 544-557 (2023); translation from Fundam. Prikl. Mat. 23, No. 4, 143-162 (2021).
MSC:  03Bxx 03Fxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Handbook of constructive mathematics. (English) Zbl 1515.03001

Encyclopedia of Mathematics and its Applications 185. Cambridge: Cambridge University Press (ISBN 978-1-316-51086-5/hbk; 978-1-00-903988-8/ebook). xx, 842 p. (2023).
PDF BibTeX XML Cite
Full Text: DOI

An extension of the equivalence between Brouwer’s fan theorem and weak König’s lemma with a uniqueness hypothesis. (English) Zbl 07627922

Berger, Ulrich (ed.) et al., Revolutions and revelations in computability. 18th conference on computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13359, 115-124 (2022).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Computability. Randomness, reverse mathematics and hypercomputability. (Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité.) (French) Zbl 1516.03001

Tableau Noir 107. Paris: Calvage et Mounet (ISBN 978-2-916352-96-1/hbk). xxii, 828 p. (2022).
PDF BibTeX XML Cite

Logic and verification of product configuration in the automotive industry. (English) Zbl 07543891

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. 387-408 (2022).
PDF BibTeX XML Cite
Full Text: DOI

The Braga method: extracting certified algorithms from complex recursive schemes in Coq. (English) Zbl 07543890

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. 305-386 (2022).
PDF BibTeX XML Cite
Full Text: DOI Link

An ad-hoc semantics to study structural properties of types. (English) Zbl 07543889

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. 267-303 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Formal topology and univalent foundations. (English) Zbl 07543888

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. 255-266 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Generalized spaces for constructive algebra. (English) Zbl 07543886

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. 99-187 (2022).
MSC:  03-00 03F65
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

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).
PDF BibTeX XML Cite
Full Text: DOI

Conceptions of proof from aristotle to Gentzen’s calculi. (English) Zbl 07543884

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. 33-54 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Proof and computation: perspectives for mathematics, computer science, and philosophy. (English) Zbl 07543883

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. 1-32 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07538686

J. Math. Sci., New York 262, No. 5, 759-766 (2022); translation from Fundam. Prikl. Mat. 23, No. 2, 247-257 (2020).
MSC:  03Bxx 03Fxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

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. (English) Zbl 1486.03009

Hackensack, NJ: World Scientific (ISBN 978-981-12-3647-1/hbk; 978-981-12-3649-5/ebook). xvi, 408 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software