×

Found 52 Documents (Results 1–52)

Maximal ideals in countable rings, constructively. (English) Zbl 1524.13008

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, 24-38 (2022).
MSC:  13A15 03F65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic. (English) Zbl 1406.03045

Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer (ISBN 978-3-319-74771-2/hbk; 978-3-319-74772-9/ebook). Outstanding Contributions to Logic 16, 323-379 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Positive formulas in intuitionistic and minimal logic. (English) Zbl 1326.03018

Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 175-189 (2015).
MSC:  03B20 03B55
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software