×

Found 312 Documents (Results 1–100)

100
MathJax

Free Banach lattices under convexity conditions. (English) Zbl 07420284

PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Modularity and distributivity of 3-generated lattices with special elements among generators. (English. Russian original) Zbl 1377.06004

Algebra Logic 56, No. 1, 1-12 (2017); translation from Algebra Logika 56, No. 1, 3-19 (2017).
MSC:  06C05 06D05 06B25
PDF BibTeX XML Cite
Full Text: DOI

Sufficient conditions for the modularity of the lattice generated by elements with properties of modular type. (English. Russian original) Zbl 1338.06007

Sib. Math. J. 56, No. 4, 631-636 (2015); translation from Sib. Mat. Zh. 56, No. 4, 798-804 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Lattice theory: special topics and applications. Volume 1. (English) Zbl 1296.06001

Cham: Birkhäuser/Springer (ISBN 978-3-319-06412-3/hbk; 978-3-319-06413-0/ebook). xiii, 468 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Propositional systems, Hilbert lattices and generalized Hilbert spaces. (English) Zbl 1126.81009

Engesser, Kurt (ed.) et al., Handbook of quantum logic and quantum structure. Quantum structures. Amsterdam: Elsevier (ISBN 978-0-444-52870-4/hbk). 477-523 (2007).
PDF BibTeX XML Cite
Full Text: arXiv

Tableaux for lattices. (English) Zbl 1236.03014

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 323-337 (2006).
MSC:  03B35 03F05 06B25 68T15
PDF BibTeX XML Cite
Full Text: DOI

On congruences of algebras defined on sectionally pseudocomplemented lattices. (English) Zbl 1101.06006

Pinus, A.G. (ed.) et al., Algebra and model theory 5. Collection of papers from the 5th summer school “Intermediate problems of model theory and universal algebra”, Erlogol, Russia, June 26–July 1, 2005. Novosibirsk: Novosibirsk State Technical University (ISBN 5-7782-0551-1/pbk). 8-27 (2005).
PDF BibTeX XML Cite

The varieties of weakly dicomplemented lattices generated by chains. (English) Zbl 1070.06001

Eigenthaler, G. (ed.) et al., Proceedings of the 66th workshop on general algebra “66. Arbeitstagung Allgemeine Algebra”, Klagenfurt, Austria, June 19–22, 2003. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0121-2/pbk). Contributions to General Algebra 15, 63-72 (2004).
MSC:  06B20 06B25 06B15
PDF BibTeX XML Cite

The undecidability of the word problem for distributive residuated lattices. (English) Zbl 1073.06007

Martínez, Jorge (ed.), Ordered algebraic structures. Proceedings of the conference on lattice-ordered groups and \(f\)-rings held at the University of Florida, Gainesville, FL, USA, February 28–March 3, 2001. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0752-3). Developments in Mathematics 7, 231-243 (2002).
PDF BibTeX XML Cite

On uniform word problems involving bridging operators on distributive lattices. (English) Zbl 1016.06005

Egly, Uwe (ed.) et al., Automated reasoning with analytic tableaux and related methods. 11th international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2381, 235-250 (2002).
MSC:  06B25 03B25 68T27 68T15 03B35
PDF BibTeX XML Cite
Full Text: Link

Essential inputs and minimal tree automata. (English) Zbl 1024.68069

Shtrakov, Sl. (ed.) et al., Discrete mathematics and applications. Proceedings of the 6th international conference, Bansko, Bulgaria, August 31-September 2, 2001. Blagoevgrad: South-West University. Res. Math. Comput. Sci. 77-85 (2002).
PDF BibTeX XML Cite

Tree automata and essential subtrees. (English) Zbl 1021.68059

Shtrakov, Sl. (ed.) et al., Discrete mathematics and applications. Proceedings of the 6th international conference, Bansko, Bulgaria, August 31-September 2, 2001. Blagoevgrad: South-West University. Res. Math. Comput. Sci. 51-59 (2002).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software