|
This article is cited in 1 scientific paper (total in 1 paper)
Recognition complexity of theories and their computational expressivity
I. V. Latkin East Kazakhstan State Technical University named after D. Serikbayev, Ust-Kamenogorsk, Kazakhstan
Abstract:
Computational complexity of a theory for a class $\mathfrak B$ of Boolean algebras is evaluated. We introduce a concept of computational expressivity for a theory, which is close in meaning to its computational complexity, but, as distinct from the latter, also fits well with undecidable theories.
Keywords:
Boolean algebra, theory, computational expressivity of theories.
Received: 03.05.2011 Revised: 11.03.2012
Citation:
I. V. Latkin, “Recognition complexity of theories and their computational expressivity”, Algebra Logika, 51:2 (2012), 216–238; Algebra and Logic, 51:2 (2012), 144–159
Linking options:
https://www.mathnet.ru/eng/al531 https://www.mathnet.ru/eng/al/v51/i2/p216
|
Statistics & downloads: |
Abstract page: | 288 | Full-text PDF : | 89 | References: | 53 | First page: | 24 |
|