Some applications of infinitary logical languages in universal algebra
نویسندگان
چکیده
منابع مشابه
Locally Boolean Domains and Universal Models for Infinitary Sequential Languages
In the first part of this Thesis we develop the theory of locally boolean domains and bistable maps (as introduced in [Lai05b]) and show that the category of locally boolean domains and bistable maps is equivalent to the category of Curien-Lamarche games and observably sequential functions (cf. [CCF94]). Further we show that the category of locally boolean domains has inverse limits of ω-chains...
متن کاملComplexity of Some Problems in Universal Algebra
In this paper we consider the complexity of several problems involving finite algebraic structures. Given finite universal algebras A and B, these problems ask: (1) Do A and B satisfy precisely the same identities? (2) Do they satisfy the same quasi-identities? and (3) Do A and B have the same set of term operations? In addition to the general case in which we allow arbitrary (finite) algebras,...
متن کاملUniversal Object Oriented Languages and Computer Algebra
The universal object oriented languages made programming more simple and efficient. In the article is considered possibilities of using similar methods in computer algebra. A clear and powerful universal language is useful if particular problem was not implemented in standard software packages like REDUCE, MATHEMATICA, etc. and if the using of internal programming languages of the packages look...
متن کاملSome Characterization Theorems for Infinitary Universal Horn Logic Without Equality
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...
متن کاملA new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATHEMATICS FOR APPLICATIONS
سال: 2013
ISSN: 1805-3610,1805-3629
DOI: 10.13164/ma.2013.07