×

Found 302 Documents (Results 1–100)

100
MathJax

Representations of finite sets and correspondences. (English) Zbl 07316016

Šťovíček, Jan (ed.) et al., Representation theory and beyond. Workshop and 18th international conference on representations of algebras, ICRA 2018, Prague, Czech Republic, August 13–17, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 758, 31-55 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Dualization in lattices given by implicational bases. (English) Zbl 1435.68115

Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11511, 89-98 (2019).
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

The centraliser lattice. (English) Zbl 1400.22005

Caprace, Pierre-Emmanuel (ed.) et al., New directions in locally compact groups. Cambridge: Cambridge University Press (ISBN 978-1-108-41312-1/pbk; 978-1-108-33267-5/ebook). London Mathematical Society Lecture Note Series 447, 267-274 (2018).
MSC:  22D05 20E15 06D50
PDF BibTeX XML Cite
Full Text: DOI

A semantic analysis of Stone and dual Stone negations with regularity. (English) Zbl 07084735

Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10119, 139-153 (2017).
MSC:  03B20 03B60 06D50
PDF BibTeX XML Cite
Full Text: DOI

Duality in computer science. (English) Zbl 1392.68268

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 12-26 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Categories: how I learned to stop worrying and love two sorts. (English) Zbl 1478.03042

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, 145-164 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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