Results 1 -
2 of
2
Algebraizations Of Quantifier Logics, An Introductory Overview
, 1991
"... . This work is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics as well as those propositional logics (like modal logics) in the semantics of which theories of relations play an essential role. ..."
Abstract
-
Cited by 35 (4 self)
- Add to MetaCart
. This work is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics as well as those propositional logics (like modal logics) in the semantics of which theories of relations play an essential role. This work has a survey character, too. The most frequently used algebras like cylindric--, relation--, polyadic--, and quasi--polyadic algebras are carefully introduced and intuitively explained for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics are also reviewed. Efforts were made to make the review part relatively comprehensive. In some directions we tried to give an overview of the most recent results and research trends, too. Contents 1. Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2. Gett...
Algebraic logic, varieties of algebras, and algebraic varieties
, 1995
"... Abstract. The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could ..."
Abstract
-
Cited by 13 (5 self)
- Add to MetaCart
Abstract. The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could be understood as an universal algebraic geometry. This geometry is parallel to universal algebra. In the monograph [51] algebraic logic was used for building up a model of a database. Later on, the structures arising there turned out to be useful for solving several problems from algebra. This is the position which the present paper is written from.

