This paper is an introduction: in particular, to algebras of relations of various ranks, and in
general, to the part of algebraic logic algebraizing quantifier logics. The paper has a survey …

Let us for the moment consider the simplest tense similarity type with two operators F and P.
It is well-knownthat the logic K '4, being the extension of the basic tense logic K 'with the …

Algebraic logic can be divided into two main parts. Part I studies algebras which are relevant
to logic (s), eg algebras which were obtained from logics (one way or another). Since Part I …

Overview This contribution gives a short introduction to arrow logic. We start by explaining
the basic idea underlying arrow logic and the motivation for studying it (sections 1 and 2) …

Treating the existential quantification∃ νi as a diamond♢ i and the identity νi= νj as a
constant δij, we study restricted versions of first order logic as if they were modal formalisms …

A. SI MON Mathematical Institute of the Hungarian Academy of Sciences PO Box 127,
Budapest, H-1 364, Hungary E-mail: H 3761 SIM@ ELLA. HU 0. Introduction. The finitization …

This chapter consists of two parts. PART I presents a few historical glimpses into the
fascinating interplay between algebra and logic that essentially started in the middle of the …

Loop conditions for strongly connected digraphs Page 1 International Journal of Algebra and
Computation Vol. 30, No. 3 (2020) 467–499 c© World Scientific Publishing Company DOI …

We consider classes of relation algebras expanded with new operations based on the
formation of ordered pairs. Examples for such algebras are pairing (or projection) algebras …

Overview This contribution gives a short introduction to arrow logic. We start by explaining
the basic idea underlying arrow logic and the motivation for studying it (sections 1 and 2) …