Results 1  10
of
33
Complete Representations in Algebraic Logic
 JOURNAL OF SYMBOLIC LOGIC
"... A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary. ..."
Abstract

Cited by 44 (12 self)
 Add to MetaCart
A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary.
Representability is not decidable for finite relation algebras
 Trans. Amer. Math. Soc
, 1999
"... Abstract. We prove that there is no algorithm that decides whether a finite relation algebra is representable. Representability of a finite relation algebra A is determined by playing a certain two player game G(A) over ‘atomic Anetworks’. It can be shown that the second player in this game has a w ..."
Abstract

Cited by 27 (14 self)
 Add to MetaCart
(Show Context)
Abstract. We prove that there is no algorithm that decides whether a finite relation algebra is representable. Representability of a finite relation algebra A is determined by playing a certain two player game G(A) over ‘atomic Anetworks’. It can be shown that the second player in this game has a winning strategy if and only if A is representable. Let τ be a finite set of square tiles, where each edge of each tile has a colour. Suppose τ includes a special tile whose four edges are all the same colour, a colour not used by any other tile. The tiling problem we use is this: is it the case that for each tile T ∈ τ there is a tiling of the plane Z × Z using only tiles from τ in which edge colours of adjacent tiles match and with T placed at (0, 0)? It is not hard to show that this problem is undecidable. From an instance of this tiling problem τ, we construct a finite relation algebra RA(τ) and show that the second player has a winning strategy in G(RA(τ)) if and only if τ is a yesinstance. This reduces the tiling problem to the representation problem and proves the latter’s undecidability. 1.
Expressive Power and Complexity in Algebraic Logic
 Journal of Logic and Computation
, 1997
"... Two complexity problems in algebraic logic are surveyed: the satisfaction problem and the network satisfaction problem. Various complexity results are collected here and some new ones are derived. Many examples are given. The network satisfaction problem for most cylindric algebras of dimension four ..."
Abstract

Cited by 22 (2 self)
 Add to MetaCart
Two complexity problems in algebraic logic are surveyed: the satisfaction problem and the network satisfaction problem. Various complexity results are collected here and some new ones are derived. Many examples are given. The network satisfaction problem for most cylindric algebras of dimension four or more is shown to be intractable. Complexity is tiedin with the expressivity of a relation algebra. Expressivity and complexity are analysed in the context of homogeneous representations. The modeltheoretic notion of interpretation is used to generalise known complexity results to a range of other algebraic logics. In particular a number of relation algebras are shown to have intractable network satisfaction problems. 1 Introduction A basic problem in theoretical computing and applied logic is to select and evaluate the ideal formalism to represent and reason about a given application. Many different formalisms are adopted: classical firstorder logic, modal and temporal logics (either...
Canonical Varieties with No Canonical Axiomatisation
 Trans. Amer. Math. Soc
, 2003
"... We give a simple example of a variety V of modal algebras that is canonical but cannot be axiomatised by canonical equations or firstorder sentences. We then show that the variety RRA of representable relation algebras, although canonical, has no canonical axiomatisation. Indeed, we show that every ..."
Abstract

Cited by 20 (7 self)
 Add to MetaCart
(Show Context)
We give a simple example of a variety V of modal algebras that is canonical but cannot be axiomatised by canonical equations or firstorder sentences. We then show that the variety RRA of representable relation algebras, although canonical, has no canonical axiomatisation. Indeed, we show that every axiomatisation of these varieties involves infinitely many noncanonical sentences. Using probabilistic methods...
Relation Algebras with nDimensional Relational Bases
 Annals of Pure and Applied Logic
, 1999
"... We study relation algebras with ndimensional relational bases in the sense of Maddux. Fix n with 3 n !. Write Bn for the class of nonassociative algebras with an n dimensional relational basis, and RAn for the variety generated by Bn . We de ne a notion of representation for algebras in RAn , ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
(Show Context)
We study relation algebras with ndimensional relational bases in the sense of Maddux. Fix n with 3 n !. Write Bn for the class of nonassociative algebras with an n dimensional relational basis, and RAn for the variety generated by Bn . We de ne a notion of representation for algebras in RAn , and use it to give an explicit (hence recursive) equational axiomatisation of RAn , and to reprove Maddux's result that RAn is canonical. We show that the algebras in Bn are precisely those that have a complete representation. Then we prove that whenever 4 n < l !, RA l is not nitely axiomatisable over RAn . This con rms a conjecture of Maddux. We also prove that Bn is elementary for n = 3; 4 only.
Relation Algebras from Cylindric Algebras, I
, 1999
"... We characterise the class SRaCAn of subalgebras of relation algebra reducts of ndimensional cylindric algebras (for finite n 5) by the notion of a `hyperbasis', analogous to the cylindric basis of Maddux, and by relativised representations. A corollary is that SRaCAn = SRa(CAn " Crs n ) ..."
Abstract

Cited by 11 (8 self)
 Add to MetaCart
(Show Context)
We characterise the class SRaCAn of subalgebras of relation algebra reducts of ndimensional cylindric algebras (for finite n 5) by the notion of a `hyperbasis', analogous to the cylindric basis of Maddux, and by relativised representations. A corollary is that SRaCAn = SRa(CAn " Crs n ) = SRa(CAn " Gn ). We outline a gametheoretic approximation to the existence of a representation, and how to use it to obtain a recursive axiomatisation of SRaCAn .
A Note on Relativised Products of Modal Logics
 Advances in Modal Logic
, 2003
"... this paper. each frame of the class.) For example, K is the logic of all nary product frames. It is not hard to see that S5 is the logic of all nary products of universal frames having the same worlds, that is, frames hU; R i i with R i = U U . We refer to product frames of this kind as cu ..."
Abstract

Cited by 10 (6 self)
 Add to MetaCart
(Show Context)
this paper. each frame of the class.) For example, K is the logic of all nary product frames. It is not hard to see that S5 is the logic of all nary products of universal frames having the same worlds, that is, frames hU; R i i with R i = U U . We refer to product frames of this kind as cubic universal product S5 frames. Note that the `ireduct' F U 1 U n ; R i of F 1 F n is a union of n disjoint copies of F i . Thus, F and F i validate the same formulas, and so L n L 1 L n : There is a strong interaction between the modal operators of product logics. Every nary product frame satis es the following two properties, for each pair i 6= j, i; j = 1; : : : ; n: Commutativity : 8x8y8z xR i y ^ yR j z ! 9u (xR j u ^ uR i z) ^ xR j y ^ yR i z ! 9u (xR i u ^ uR j z) Church{Rosser property : 8x8y8z xR i y ^ xR j z ! 9u (yR j u ^ zR i u) This means that the corresponding modal interaction formulas 2 i 2 j p $ 2 j 2 i p and 3 i 2 j p ! 2 j 3 i p belong to every ndimensional product logic. The geometrically intuitive manydimensional structure of product frames makes them a perfect tool for constructing formalisms suitable for, say, spatiotemporal representation and reasoning (see e.g. [33, 34]) or reasoning about the behaviour of multiagent systems (see e.g. [4]). However, the price we have to pay for the use of products is an extremely high computational complexityeven the product of two NPcomplete logics can be nonrecursively enumerable (see e.g. [29, 27]). In higher dimensions practically all products of `standard' modal logics are undecidable and non nitely axiomatisable [16]
Axiomatising Various Classes of Relation and Cylindric Algebras
, 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. ..."
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.
On Amalgamation of Reducts of Polyadic Algebras
 Algebra Universalis
"... Following research initiated by Tarski,Craig and Nemeti, and further pursued by Sain, we show that for certain subsets G of !, G polyadic algebras have the strong amalgamation property. G polyadic algebras are obtained by restricting (the similarity type) and axiomatization of !dimensional polya ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
Following research initiated by Tarski,Craig and Nemeti, and further pursued by Sain, we show that for certain subsets G of !, G polyadic algebras have the strong amalgamation property. G polyadic algebras are obtained by restricting (the similarity type) and axiomatization of !dimensional polyadic algebras to nite quanti ers and substitutions in G. Using algebraic logic, we infer that for certain proper extensions of rst order logic without equality, the theorems of Beth, Craig and Robinson hold.
Axiomatizability of Reducts of Algebras of Relations
"... In this paper, we prove that any subreduct of the class of representable relation algebras whose similarity type includes intersection, relation composition and converse is a nonnitely axiomatizable quasivariety and that its equational theory is not nitely based. We show the same result for subredu ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
In this paper, we prove that any subreduct of the class of representable relation algebras whose similarity type includes intersection, relation composition and converse is a nonnitely axiomatizable quasivariety and that its equational theory is not nitely based. We show the same result for subreducts of the class of representable cylindric algebras of dimension at least three whose similarity types include intersection and cylindrications. A similar result is proved for subreducts of the class of representable sequential algebras. 1 Introduction The aim of this paper is to investigate algebras of relations from the nite axiomatizability point of view. In algebraic logic, the most extensively investigated classes of algebras of relations are the class of (representable) relation algebras and the class of (representable) cylindric algebras, cf. [HMT]. These classes are Boolean algebras equipped with some extraBoolean operations arising from the nature of relations. In this paper ...