×

Found 3,215 Documents (Results 1–100)

On analogues of Herbrand’s and Harrop’s theorems for the joint logic of problems and propositions QHC. (English. Russian original) Zbl 07820607

Dokl. Math. 108, No. 3, 528-532 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 514, No. 1, 123-128 (2023).
MSC:  03Fxx 03-XX 03Bxx
PDFBibTeX XMLCite
Full Text: DOI

Valuative lattices and spectra. (English) Zbl 1530.13009

Chabert, Jean-Luc (ed.) et al., Algebraic, number theoretic, and topological aspects of ring theory. Selected papers based on the cancelled conference on rings and polynomials, July 2020, and the fourth international meeting on integer-valued polynomials and related topics, CIRM, Luminy, France, July 19–24, 2021. Cham: Springer. 275-341 (2023).
MSC:  13A18 03F65 14C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

A constructive picture of Noetherian conditions and well quasi-orders. (English) Zbl 07787570

Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 50-62 (2023).
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
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).
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