×

Found 758 Documents (Results 1–100)

100
MathJax

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

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

Ruitenburg’s theorem via duality and bounded bisimulations. (English) Zbl 1418.03191

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 277-290 (2018).
MSC:  03G25 06D20
PDF BibTeX XML Cite
Full Text: arXiv

One-generated WS5-algebras. (English) Zbl 1418.03188

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 143-158 (2018).
PDF BibTeX XML Cite

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

Classification

all top 3

Software