×

Found 437 Documents (Results 1–100)

The Fell compactification of a poset. (English) Zbl 1460.54006

Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 31-46 (2021).
PDFBibTeX XMLCite
Full Text: DOI

De Morgan semi-Heyting and Heyting algebras. (English) Zbl 1448.06003

Shum, K. P. (ed.) et al., New trends in algebras and combinatorics. Proceedings of the 3rd international congress in algebras and combinatorics, ICAC 2017, Hong Kong, China, August 25–28, 2017. In honor of Professor Leonid Bokut on the occasion of his 80th birthday. Hackensack, NJ: World Scientific. 447-457 (2020).
MSC:  06D20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Point-free spectra of linear spreads. (English) Zbl 1476.03078

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

Heyting algebras. Duality theory. Translated from the Russian by A. Evseev. (English) Zbl 1436.06001

Trends in Logic – Studia Logica Library 50. Cham: Springer (ISBN 978-3-030-12095-5/hbk; 978-3-030-12098-6/pbk; 978-3-030-12096-2/ebook). xv, 95 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

A generalisation of Stone duality to orthomodular lattices. (English) Zbl 1414.81038

Ozawa, Masanao (ed.) et al., Reality and measurement in algebraic quantum theory. NWW 2015, Nagoya, Japan, March 9–13, 2015. Selected papers based on presentations at the Nagoya winter workshop 2015: reality and measurement in algebraic quantum theory. Singapore: Springer. Springer Proc. Math. Stat. 261, 3-65 (2018).
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

Software