Results 121 to 130 of about 290 (150)

Relation algebras from cylindric and polyadic algebras

Logic Journal of IGPL, 1997
This interesting paper is a survey of results on the connections between cylindric algebras, polyadic algebras, and relation algebras. Of central concern is the standard construction which, although it is applicable to any cylindric algebra of dimension 3 or more, is guaranteed to produce a relation algebra only when the dimension is 4 or more. Many of
István Németi, András Simon
openaire   +2 more sources

Noncommutative cylindric algebras and relativizations of cylindric algebras

2006
Summary: We obtain the class NA of noncommutative cylindric algebras from the class CA of cylindric algebras by weakening the axiom \(C_ 4\) of commutativity of cylindrifications.
openaire   +2 more sources

Cylindric algebra equation solver

1990
The Cylindric Algebra Equation Solver (CAES) is a set of about 200 Schemata definitions specifying the properties of the symbols, for solving equations in the cylindric algebra [Henkin et al.] of 25(2~N) elements with a function which maps 1 to 1 and everything else to 0.
Frank M. Brown, Carlos Araya
openaire   +1 more source

An introduction to cylindric set algebras

Logic Journal of IGPL, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The Geometry of Cylindrical Algebraic Decomposition

ACM Communications in Computer Algebra
The decision problem of the first order theory over the reals is a fundamental problem in symbolic computation. Because many problems emerging from other areas of science and engineering can be directly expressed by a decision problem over the reals, there are more and more interests in developing efficient algorithms for the decision problem.
openaire   +1 more source

On neat embeddings of cylindric algebras

Mathematical Logic Quarterly, 2009
AbstractWe show that certain properties of dimension complemented cylindric algebras, concerning neat embeddings, do not generalize much further. Let α ≥ ω. There are non‐isomorphic representable cylindric algebras of dimension α each of which is a generating subreduct of the same β dimensional cylindric algebra.
openaire   +1 more source

On Approximations and Incidence in Cylindrical Algebraic Decompositions

SIAM Journal on Computing, 1986
This interesting paper deals with a fruitful and central area of research, where classical constructive algebra in the form of computer algebra, complexity theory and algebraic geometry come together. Besides throwing new light on each of the fields mentioned, there is an abundant variety of applications within science and engineering.
openaire   +1 more source

Measures on cylindric algebras

Acta Mathematica Hungarica, 1983
This paper deals with measures defined on cylindric algebras, roughly speaking on first order languages. A new class of measures, called KU- measures, is introduced. A KU-measure is partially continuous, namely with respect to cylindrical operations. The author examines the extension, existence and transformation of these measures.
openaire   +3 more sources

Cylindric Probability Algebras

2013
Sometimes it is not enough to prove that a formula φ(x) is satisfied or not by an element a ∈ A in the model \( \mathfrak{A} \) we are interested in. It may happen that we are looking for the quantity of those a ∈ A for which φ[a] is true. Of course, the mathematical discipline for these considerations is probability theory. The logic suitable for this
Radosav. S. ĐorĐević, Miodrag. D. Rašković   +1 more
openaire   +1 more source

Interpolation and amalgamation in modal cylindric algebras

Quaestiones Mathematicae, 2020
Tarek Sayed Ahmed
exaly