2021/06/21 by Alex Citkin, Citkin, Alex, Alexei Muravitsky +1 · 1 citation
Computer Science · Engineering · Mathematics · #Computer science #Context (archaeology) #Data mining #FOS: Mathematics #Field (mathematics) #History #Logic (math.LO) #Logic, programming, and type systems #Mathematics #Pure mathematics #Relation (database) #Slime Mold and Myxomycetes Research #math.LO #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2106.10966
published in arXiv (Cornell University) (Cornell University) · arXiv admin note: text overlap with arXiv:1901.05411
openalex publication_date 2021/06/21 · arxiv created 2021/07/07 · arxiv updated 2021/07/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The book is devoted to the study of the field of application of the method, which arose from the concept of the Lindenbaum matrix by A. Lindenbaum and the Lindenbaum theorem, within the framework of the concept of a consequence relation by A. Tarski and in the context of the conception of separating tools by A. Kuznetsov. The unifying term Tarski-Lindenbaum method is intended to refer to the first two headings as the key topics of this study. Our implementation of the Tarski-Lindenbaum method aims to emphasize the role of the conception of separating tools.