Results 1  10
of
13
Step by Step  Building Representations in Algebraic Logic
 Journal of Symbolic Logic
, 1995
"... We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterised according to the outcome of certain games. The Lyndon conditions defini ..."
Abstract

Cited by 28 (15 self)
 Add to MetaCart
We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterised according to the outcome of certain games. The Lyndon conditions defining representable relation algebras (for the finite case) and a similar schema for cylindric algebras are derived. Countable relation algebras with homogeneous representations are characterised by first order formulas. Equivalence games are defined, and are used to establish whether an algebra is !categorical. We have a simple proof that the perfect extension of a representable relation algebra is completely representable. An important open problem from algebraic logic is addressed by devising another twoplayer game, and using it to derive equational axiomatisations for the classes of all representable relation algebras and representable cylindric algebras. Other instances of this ap...
Axiomatising Various Classes of Relation and Cylindric Algebras
 Logic Journal of the IGPL
, 1997
"... We outline a simple approach to axiomatising the class of representable relation algebras, using games. We discuss generalisations of the method to cylindric algebras, homogeneous and complete representations, and atom structures of relation algebras. 1 Introduction Relation algebras are to bina ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
We outline a simple approach to axiomatising the class of representable relation algebras, using games. We discuss generalisations of the method to cylindric algebras, homogeneous and complete representations, and atom structures of relation algebras. 1 Introduction Relation algebras are to binary relations what boolean algebras are to unary ones. They are used in artificial intelligence, where, for example, the AllenKoomen temporal planning system checks the consistency of given relations between time intervals. In mathematics, they form a part of algebraic logic. The history of this goes back to the nineteenth century, the early workers including Boole, de Morgan, Peirce, and Schroder; it was studied intensively by Tarski's group (including, at various times, Chin, Givant, Henkin, J'onsson, Lyndon, Maddux, Monk, N'emeti) from around the 1950s, and currently we know of active groups in Amsterdam, Budapest, Rio de Janeiro, South Africa, and the U.S., among other places. Abstract...
THE HYPERRING OF ADÈLE CLASSES
"... Abstract. We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adèle class space HK = AK/K × of a global field K. After promoting F1 to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G ⊂ ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
Abstract. We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adèle class space HK = AK/K × of a global field K. After promoting F1 to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G ⊂ R × is a subgroup of its multiplicative group) is a hyperring extension of K if and only if G ∪ {0} is a subfield of R. This result applies to the adèle class space which thus inherits the structure of a hyperring extension HK of K. We begin to investigate the content of an algebraic geometry over K. The category of commutative hyperring extensions of K is inclusive of: commutative algebras over fields with semilinear homomorphisms, abelian groups with injective homomorphisms and a rather exotic land comprising homogeneous nonDesarguesian planes. Finally, we show that for a global field K of positive characteristic, the groupoid of the prime elements of the hyperring HK is canonically and equivariantly isomorphic to the groupoid of the loops of the
Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory
, 1998
"... We confirm a conjecture about neat embeddings of cylindric algebras made in 1969 by J. D. Monk, confirm a later conjecture by Maddux about relation algebras obtained from cylindric algebras, and solve a problem raised by Tarski and Givant. These results in algebraic logic have the following conseque ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
We confirm a conjecture about neat embeddings of cylindric algebras made in 1969 by J. D. Monk, confirm a later conjecture by Maddux about relation algebras obtained from cylindric algebras, and solve a problem raised by Tarski and Givant. These results in algebraic logic have the following consequence for predicate logic: for every finite cardinal ff 3 there is a logically valid sentence ', in a firstorder language with equality and exactly one nonlogical binary relation symbol, such that ' contains only 3 variables (each of which can occur arbitrarily many times), ' has a proof containing exactly ff+1 variables, but no proof containing only ff variables. 1 Introduction and summary Cylindric algebras are an algebraisation of the theory of ffary relations. For the special case of binary relations, there is an alternative approach to algebraisation, using relation algebras. This paper is concerned with the connection between the two approaches and the consequences for ffvariable p...
Provability with Finitely Many Variables
"... For every finite n 4 there is a logically valid sentence 'n with the following properties: 'n contains only 3 variables (each of which occurs many times); 'n contains exactly one nonlogical binary relation symbol (no function symbols, no constants, and no equality symbol); 'n has a proof in firs ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
For every finite n 4 there is a logically valid sentence 'n with the following properties: 'n contains only 3 variables (each of which occurs many times); 'n contains exactly one nonlogical binary relation symbol (no function symbols, no constants, and no equality symbol); 'n has a proof in firstorder logic with equality that contains exactly n variables, but no proof containing only n \Gamma 1 variables. This result was first proved using the machinery of algebraic logic developed in several research monographs and papers. Here we replicate the result and its proof entirely within the realm of (elementary) firstorder binary predicate logic with equality. We need the usual syntax, axioms, and rules of inference to show that 'n has a proof with only n variables. To show that 'n has no proof with only n \Gamma 1 variables we use alternative semantics in place of the usual, standard, settheoretical semantics of firstorder logic.
Modal Logic of Projective Geometries of Finite Dimension
, 1998
"... Introduction Extending an original idea of B. Jonsson, R. Lyndon showed in [Lyndon 1961] how to construct relation algebras  boolean algebras with the binary operator ; (composition), the unary operator (converse) and the constant 1' (identity) which satisfy the socalled Tarski axioms (see [ ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Introduction Extending an original idea of B. Jonsson, R. Lyndon showed in [Lyndon 1961] how to construct relation algebras  boolean algebras with the binary operator ; (composition), the unary operator (converse) and the constant 1' (identity) which satisfy the socalled Tarski axioms (see [Henkin et alii 1997], [J'onsson & Tarski 1952])  from projective geometries, thus providing "a method for deriving consequences in the algebraic theory of binary relations from certain familiar facts of projective geometry" [Lyndon 1961]. By a projective geometry he meant the following (the definition below is valid throughout the present paper): 1.1. Definition. A projective geometry (or projective space) is a structure G = (P; L; In), where P is a nonempty set of points, L is a family of subsets of P called lines, and In<F63.
Undecidable theories of Lyndon algebras
 J. Symbolic Logic
, 2001
"... With each projective geometry we can associate a Lyndon algebra. Such an algebra always satisfies Tarski’s axioms for relation algebras and Lyndon algebras thus form an interesting connection between the fields of projective geometry and algebraic logic. In this paper we prove that if G is a class o ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
With each projective geometry we can associate a Lyndon algebra. Such an algebra always satisfies Tarski’s axioms for relation algebras and Lyndon algebras thus form an interesting connection between the fields of projective geometry and algebraic logic. In this paper we prove that if G is a class of projective geometries which contains an infinite projective geometry of dimension at least three, then the class L(G) of Lyndon algebras associated with projective geometries in G has an undecidable equational theory. In our proof we develop and use a connection between projective geometries and diagonalfree cylindric algebras. 1
Algebraic Formalisations of Fuzzy Relations and Their Representation Theorems
, 1998
"... The aim of this thesis is to develop the fuzzy relational calculus. To develop this calculus, we study four algebraic formalisations of fuzzy relations which are called fuzzy relation algebras, Zadeh categories, relation algebras and Dedekind categories, and we strive to arrive at their representati ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
The aim of this thesis is to develop the fuzzy relational calculus. To develop this calculus, we study four algebraic formalisations of fuzzy relations which are called fuzzy relation algebras, Zadeh categories, relation algebras and Dedekind categories, and we strive to arrive at their representation theorems. The calculus of relations has been investigated since the middle of the nineteenth century. The modern algebraic study of (binary) relations, namely relational calculus, was begun by Tarski. The categorical approach to relational calculus was initiated by Mac Lane and Puppe, and Dedekind categories were introduced by Olivier and Serrato. The representation problem for Boolean relation algebras was proposed by Tarski as the question whether every Boolean relation algebra is isomorphic to an algebra of ordinary homogeneous relations. There are many sufficient conditions that guarantee representability for Boolean relation algebras. Schmidt and Strohlein gave a simple proof of the...
Relation algebras and their application in qualitative spatial reasoning
, 2005
"... www.cosc.brocku.ca Relation algebras and their application in temporal and spatial reasoning ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
www.cosc.brocku.ca Relation algebras and their application in temporal and spatial reasoning