Search

Your search keyword '"Andréka, Hajnal"' showing total 16 results
Start Over Author "Andréka, Hajnal" Topic algebraic logic
16 results on '"Andréka, Hajnal"'

4. The equational theory of Kleene lattices

Author

Andréka, Hajnal, Mikulás, Szabolcs, and Németi, István

Subjects
*EQUATIONS, *KLEENE algebra, *LATTICE theory, *NUMERICAL analysis, *ALGEBRAIC logic, *MATHEMATICAL constants
Abstract

Abstract: Languages and families of binary relations are standard interpretations of Kleene algebras. It is known that the equational theories of these interpretations coincide and that the free Kleene algebra is representable both as a relation and as a language algebra. We investigate the identities valid in these interpretations when we expand the signature of Kleene algebras with the meet operation. In both cases, meet is interpreted as intersection. We prove that in this case, there are more identities valid in language algebras than in relation algebras (exactly three more in some sense), and representability of the free algebra holds for the relational interpretation but fails for the language interpretation. However, if we exclude the identity constant from the algebras when we add meet, then the equational theories of the relational and language interpretations remain the same, and the free algebra is representable as a language algebra, too. The moral is that only the identity constant behaves differently in the language and the relational interpretations, and only meet makes this visible. [Copyright &y& Elsevier]

Published
2011
Full Text
View/download PDF

5. Axiomatizability of positive algebras of binary relations.

Author

Andréka, Hajnal and Mikulás, Szabolcs

Subjects
*AXIOMS, *RELATION algebras, *ALGEBRAIC logic, *FIRST-order logic, *MATHEMATICAL logic
Abstract

We consider all positive fragments of Tarski's representable relation algebras and determine whether the equational and quasiequational theories of these fragments are finitely axiomatizable in first-order logic. We also look at extending the signature with reflexive, transitive closure and the residuals of composition. [ABSTRACT FROM AUTHOR]

Published
2011
Full Text
View/download PDF

6. Tarski’s Influence on Computer Science

Author

Feferman, Solomon, Andréka, Hajnal, Editorial board, Béziau, Jean-Yves, Series Editor, Burgin, Mark, Editorial board, Diaconescu, Razvan, Editorial board, Herzig, Andreas, Editorial board, Koslow, Arnold, Editorial board, Lee, Jui-Lin, Editorial board, Maksimova, Larisa, Editorial board, Malinowski, Grzegorz, Editorial board, Paoli, Francesco, Editorial Board Member, Sarenac, Darko, Editorial board, Schroeder-Heister, Peter, Editorial board, Vasyukov, Vladimir, Editorial board, Garrido, Ángel, editor, and Wybraniec-Skardowska, Urszula, editor

Published
2018
Full Text
View/download PDF

9. Polyadic Algebras

Author

Sági, Gábor, Tóth, Gábor Fejes, editor, Miklós, Dezső, editor, Andréka, Hajnal, editor, Ferenczi, Miklós, editor, and Németi, István, editor

Published
2013
Full Text
View/download PDF

10. Cylindric Probability Algebras

Author

ĐorĐević, Radosav. S., Rašković, Miodrag. D., Tóth, Gábor Fejes, editor, Miklós, Dezső, editor, Andréka, Hajnal, editor, Ferenczi, Miklós, editor, and Németi, István, editor

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results