×

Found 350 Documents (Results 1–100)

Set-theoretic topology and some properties of the closure operation of a collection of sets. (English. Russian original) Zbl 1519.54001

J. Math. Sci., New York 272, No. 6, 853-865 (2023); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 175, 105-117 (2020).
MSC:  54A05
PDFBibTeX XMLCite
Full Text: DOI

Towards a trustworthy semantics-based language framework via proof generation. (English) Zbl 1493.68056

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 477-499 (2021).
MSC:  68N15 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

On diffeomorphic mappings of one nondegenerate parallelepiped onto another. (English. Russian original) Zbl 1467.26004

J. Math. Sci., New York 254, No. 5, 686-702 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 155, 98-114 (2018).
MSC:  26B05 51N20 57Q35
PDFBibTeX XMLCite
Full Text: DOI

Deciding simple infinity axiom sets with one binary relation by means of superpostulates. (English) Zbl 07614514

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 201-217 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Varieties of pluralism and objectivity in mathematics. (English) Zbl 1528.03031

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 345-362 (2019).
MSC:  03A05 00A30
PDFBibTeX XMLCite
Full Text: DOI

A comparison of type theory with set theory. (English) Zbl 1528.03109

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 271-292 (2019).
MSC:  03B38 03E99
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

The true concurrency of Herbrand’s theorem. (English) Zbl 1528.68247

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 5, 22 p. (2018).
MSC:  68Q85 03F03 03F05
PDFBibTeX XMLCite
Full Text: DOI

Model-theoretic conservative extension for definitional theories. (English) Zbl 1434.03028

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 133-145 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs. (English) Zbl 1520.03008

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 13-33 (2018).
PDFBibTeX XMLCite
Full Text: DOI HAL

Foundations of mathematics: reliability and clarity: the explanatory role of mathematical induction. (English) Zbl 1482.00008

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 68-82 (2016).
MSC:  00A35 00A30 03A05
PDFBibTeX XMLCite
Full Text: DOI

A quantitative-informational approach to logical consequence. (English) Zbl 1371.03016

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 105-124 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

Lectures on the model theory of valued fields. (English) Zbl 1347.03074

Macpherson, H. Dugald (ed.) et al., Model theory in algebra, analysis and arithmetic. Cetraro, Italy 2012. Lectures of the CIME course, Cetraro, Italy, 2012. Heidelberg: Springer; Florence: Fondazione CIME (ISBN 978-3-642-54935-9/pbk; 978-3-642-54936-6/ebook). Lecture Notes in Mathematics 2111. CIME Foundation Subseries, 55-157 (2014).
MSC:  03C60 12L12 12J10
PDFBibTeX XMLCite
Full Text: DOI

Degrees of undecidability in term rewriting. (English) Zbl 1257.68093

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 255-270 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software