 Home  - Mathematical_Logic - Relation Algebras
 Images Newsgroups
 1-63 of 63    1

See This List with Details

1. Relation Algebras, 150 - Elsevier
The modern theory of algebras of binary Relations, reformulated by Tarski as an abstract, algebraic, equational theory of Relation algebras,
http://www.elsevier.com/wps/product/cws_home/706796

2. PERA: Package For Extended Relation Algebras
PERA deals with (binary) Relation algebras extended with a neighborhood structure. For a very simple presentation (in french) look at Euzenat 98a.
http://www.inrialpes.fr/exmo/software/pera/

3. RelMiCS10/AKA5 - Main Page
We invite submissions on the general topics of Relation algebra and Kleene Relation algebras and Kleene algebras; related formalisms such as process
http://www.uni-augsburg.de/rel_aka

4. Relation Algebras And Their Application In Temporal And Spatial Reasoning
The calculus of Relation algebras is an equational formalism; it tells us which Relations must exist, given several basic operations, such as Boolean
http://portal.acm.org/citation.cfm?id=1057246

5. Representations For Small Relation Algebras
There are eighteen isomorphism types of finite Relation algebras with eight or fewer elements, and all of them are representable.
http://projecteuclid.org/handle/euclid.ndjfl/1040408612

6. In The Beginning There Were Algebras Of Concrete Relations
And he proved many interesting new results about Relation algebras, including a correspondence with 3variable logic that allowed the interpretation of set
http://www1.chapman.edu/~jipsen/talks/Tarski2001/Tarskitalk.htm

7. IngentaConnect Relation Algebras Of Intervals
Given a representation of a Relation algebra we construct Relation algebras of pairs and ofintervals . If the representation happens to be complete,
http://www.ingentaconnect.com/content/els/00043702/1996/00000083/00000002/art000

8. Atlas: Relation Algebras And Groups By Hajnal Andreka
A Relation algebra is any algebra (of the same similarity type as algebras of binary Relations) satisfying a certain finite set of equational
http://atlas-conferences.com/c/a/d/j/23.htm

9. ARA - Automatic Relation Algebra Prover
ARA is an automatic theorem prover for various kinds of Relation algebras. It is based on Gordeev s Reduction Predicate Calculi for nvariable logic (RPC_n)
http://www-sr.informatik.uni-tuebingen.de/~sinz/ARA/

10. JSTOR On Complete Atomic Proper Relation Algebras
1950 ON COMPLETE ATOMIC PROPER Relation algebras FRANK HARARY The object of this note is to classify the isomorphism types of all complete atomic proper

11. Ian Hodkinson: Relational Bases Etc
Relational bases, Relation algebra cylindric algebra connections There are various connections between cylindric and Relation algebras,
http://www.doc.ic.ac.uk/~imh/frames_website/bases.html

12. Relation Algebras With Preferences
Relation algebras are a wellestablished formalism for qualitative reasoning. In a Relation algebra, knowledge about Relations between entities such as
http://www.informatik.uni-freiburg.de/~ki/teaching/ss05/oberseminar/abstract-sci

13. SFB/TR 8 - Project R3-[Q-Shape] - Research
Additionally they build up a Relation algebra with 24 basic Relations. The Conceptual Neighborhood Structure of the Dipole Relation algebras
http://www.sfbtr8.spatial-cognition.de/project/r3/QualitativeCalculi/DipoleCalcu

14. [q-alg/9506004] On Deformations Of Commutation Relation Algebras
On Deformations of Commutation Relation algebras. Authors Robert Ra owski Comments 17 pages Reportno IFT UWr 890/95 Subj-class Quantum Algebra
http://arxiv.org/abs/q-alg/9506004

15. The Algebra Of Logic: Schröder
I of Principia Mathematica, and it has been a source of fundamental research under the name of Relation algebras in the school led by Tarski.
http://www.math.uwaterloo.ca/~snburris/htdocs/scav/schroeder/schroeder.html

16. Relation Algebras Over Containers And Surfaces
Relation algebras over Containers and Surfaces An Ontological Study of a Room Space. Max Egenhofer and Andrea Rodríguez Spatial Cognition and Computation 1
http://www.spatial.maine.edu/~max/RJ37.html

17. Connections Between Quasi-projective Relation Algebras And Cylindric Algebras -
Información del artículo Connections between quasiprojective Relation algebras and cylindric algebras.
http://dialnet.unirioja.es/servlet/articulo?codigo=2323779

18. DBLP: Ivo Düntsch
3, Ivo Düntsch Rough Relation algebras. Fundam. Inform. 21(4) 321331 (1994). 2, Ivo Düntsch A Microcomputer Based System for Small Relation algebras.
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/D=uuml=ntsch:Ivo.htm

19. RELATION ALGEBRAS OF ACTION AND INDETERMINACY
We will refine the techniques in actual applications of branching time, multiintervals, algebras of action, probabilistic Relation algebras, planning with
http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=GR/K54946/01

20. Mathematical Structures Relation Algebras
$\begin{array}{lr} http//localhost/gap/ramaddux.html Small Relation algebras f(1)= 1\\ f(2)= 1\\ f(3)= 0\\ f(4)= 3\\ f(5)= 0\\ f(6)= 0\\ http://math.chapman.edu/cgi-bin/structures?Relation_algebras 21. UNIVERSAL ALGEBRA, ALGEBRAIC LOGIC AND DATABASES By BORIS PLOTKIN THE CATEGORIAL APPROACH TO ALGEBRAIC LOGIC Relation algebras Notes on quantifiers Definition of Relation algebras Another approach Relational algebras http://www.mmsysgrp.com/plotkin.htm 22. Spir@l - Imperial College Digital Repository: Strongly Representable Atom Struct Title, Strongly representable atom structures of Relation algebras. Item Type, Journal. Author(s), Hirsch, R Hodkinson, I http://eprints.imperial.ac.uk/handle/10044/1/571 23. Relation Algebras, 150 - Elsevier Relation algebras, 150. To order this title, and for more information, click here. This book belongs to the subject area Mathematics http://www.biolc.com/wps/find/bookreviewform.librarians/706796 24. Relation Algebras From Cylindric And Polyadic Algebras -- Nemeti And Simon 5 (4) This paper is a survey of recent results concerning connections between Relation algebras (RA), cylindric algebras (CA) and polyadic equality algebras (PEA) http://jigpal.oxfordjournals.org/cgi/content/abstract/5/4/575 25. Preprints Of The Algebraic Logic Dept. Hajnal Andréka Complexity of equations valid in algebras of Relations III István Németi and András Simon Relation algebras from cylindric and http://www.math-inst.hu/pub/algebraic-logic/Contents.html 26. MATHS: Three Or More Infix Operators Maddux96 Relation algebras have a long history and can be used in a natural way .. However, there are an infinity of Relation algebras that are not http://www.csci.csusb.edu/dick/maths/math_45_Three_Operators.html 27. Tuesday, August 29 Finite symmetric integral Relation algebras with no 3cycles. 10.00, Wolfram Kahl. Semigroupoid interfaces for Relation-algebraic programming in Haskell http://www.cs.man.ac.uk/relmics06/schedule.php 28. OUP: UK General Catalogue This work presents a systematic study of decision problems for equational theories of algebras of binary Relations (Relation algebras). http://www.oup.com/uk/catalogue/?ci=9780821805954 29. Relation Algebras, Studies In Logic And The Foundations Of Mathematics - MADDUX, Relation algebras, Studies in Logic and the Foundations of Mathematics; MADDUX, ROGER DUNCAN,. Offered by Black Oak Books, Berkeley. http://www.antiqbook.com/boox/blac/588868.shtml 30. Relation Algebras Date Tue, 28 Jan 92 120621 EST To linear@cs.stanford.edu The following note is from Jim Lambek The Relation algebra model proposed by Thomas Streicher http://www.cis.upenn.edu/~bcpierce/types/archives/1992/msg00023.html 31. Personal Homepage For R. D. Maddux Finite symmetric integral Relation algebras with no 3cycles . Experts on Relation algebras may be able to decipher the data in these files http://www.math.iastate.edu/maddux/ 32. CAT.INIST Given a representation of a Relation algebra we construct Relation algebras of pairs and of intervals. If the representation happens to be complete, http://cat.inist.fr/?aModele=afficheN&cpsidt=3127397 33. Mathematics The modern theory of algebras of binary Relations, More reformulated by Tarski as an abstract, algebraic, equational theory of Relation algebras, http://shopping.msn.com/results/mathematics/bcatid162/forsale?text=category:math 34. Tarski 100 A brief history of Relation algebras, Victor Marek Tarski and semantical considerations in Logic Programming and Logical Foundations of Artificial http://www.mimuw.edu.pl/TARSKI/Tarski100.html 35. Citations: Varieties Of Relation Algebras - Jonsson (ResearchIndex) B. Jonsson. Varieties of Relation algebras. Algebra Universalis, 15273298, 1982. http://citeseer.comp.nus.edu.sg/context/549955/0 36. Baztech Informacja O Publikacji Tytul Relations algebras in qualitative spatial reasoning In this paper we investigate Relation algebras obtained from dixfferent notions of http://baztech.icm.edu.pl/baztech/cgi-bin/btgetdoc.cgi?BUS1-0007-0060 37. A Pseudo Representation Theorem For Various Categories Of Relations Furthermore, we use our concept of a basis to extend a known result from the theory of heterogeneous Relation algebras. Keywords Relation Algebra, Dedekind http://www.tac.mta.ca/tac/volumes/7/n2/7-02abs.html 38. Relation Algebras By Games - Libro - Robin Hirsch, Ian Hodkinson - Editore North Relation algebras by Games, Robin Hirsch, Ian Hodkinson. This is the first modern book on Relation algebra and contains original research which is not http://www.libreriauniversitaria.it/relation-algebras-by-games-robin/book/978044 39. Seminars @ CECS The set of all binary Relations on a nonempty set is called the algebra of The subclass of Relation algebras that are isomorphic to a subalgebra of the http://cecs.anu.edu.au/seminars/showone.pl?SID=417 40. Function Algebras On Finite Sets - Mathematical Logic And Foundations Journals, The second part on fuction algebras covers the following topics Galoisconnection between function algebras and Relation algebras, completeness criterions, http://www.springer.com/west/home/math?SGWID=4-10042-22-173667303-0 41. [Abstract] Demonic Semantics Of Guarded Commands Monotype/residual Style 2 Relation Algebra 2.1 Definition and basic laws Both homogeneous and In this paper, we use heterogeneous Relation algebras whose defini tion is taken http://actapress.com/PDFViewer.aspx?paperId=13296 42. Sibirskii Matematicheskii Zhurnal On quasiidentities of Relation algebras with Diophantine operations D. A. Bredikhin UDC 519.4 Received 04.09.1995 http://www.mathnet.ru/php/journal.phtml?wshow=paper&jrnid=smj&paperid=419&year=1 43. Relation Algebras By Games Is Available From Bestprices.com Books! Relation algebras by Games only$185.06, get the Relation algebras by Games book From BestPrices.com!

44. Scientific Commons Rough Relation Algebras (1993), 1993-12-09
Rough Relation algebras were introduced by S. Comer as a generalisation of algebras of Pawlak s rough sets and Tarski s Relation algebras.
http://en.scientificcommons.org/384198

45. Tower.com: Roger Duncan Maddux Relation Algebras Hardcover
http://www.tower.com/details/details.cfm?wapi=100266894

46. Bentham Press - Engineering Books & Publications, Software And Training
Relation algebras are algebras arising from the study of binary Relations. Part 4 presents some constructions of Relation algebras, including Monk
http://www.bentham.com/publications/?id=1681&PHPSESSID=ca18d5b627b3b426725fde928

47. CiteULike: Tag Relation-algebras [1 Article]
Relations and Kleene Algebra in Computer Science (2006), pp. 235250. by Wolfram Kahl. posted to Relation-algebras haskell category-theory by mstone on
http://www.citeulike.org/tag/relation-algebras

48. Front: [q-alg/9506004] On Deformations Of Commutation Relation Algebras
Title On Deformations of Commutation Relation algebras Authors Robert Ra owski Categories math.QA Quantum Algebra Comments 17 pages
http://front.math.ucdavis.edu/9506.5144

49. Relation Algebra - Wikipedia, The Free Encyclopedia
In mathematics, a Relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The motivating example of a
http://en.wikipedia.org/wiki/Relation_algebra

50. A Ternary Relation Algebra Of Directed Lines
We define a ternary Relation Algebra (RA) of relative position Relations on twodimensional directed lines (d-lines for short). A d-line has two degrees of

51. Interacting State Machines: A Stateful Approach To Proving Security
Abstract We present a theorem proving system for abstract Relation algebra called RALL (= RelationAlgebraic Language and Logic), based on the generic
http://david.von-oheimb.de/cs/papers/RALL.html

52. Algebra Of Programming Research Group: 1996 Minutes
As such, sequential algebra is a natural candidate for modelling (imperative) programs. In fact, it is only a slight generalization of Relation algebra in
http://web.comlab.ox.ac.uk/oucl/research/pdt/ap/minutes/minutes1996.html

53. Relational Algebra
Operators in Relational algebra are not necessarily the same as SQL operators DELETE provides a condition on the attributes of a Relation to determine
http://db.grussell.org/section010.html

54. CP1500 Tutorial Solution - Fun With Relational Algebra
More Formulating Queries in the Relational Algebra. Relational schemas for five relations in a movie database are depicted below.
http://www.it.jcu.edu.au/Subjects/cp1500/resources/docs/introToRA.soln.html

55. NutshellMath Pre-Algebra - Relations And Functions
NutshellMath offers targeted math homework help including prealgebra tutorials on understanding and representing algebraic relations.
http://home.nutshellmath.com/en-US/nutshell_pages/html/demos_content/prealg_rela

56. Scheme Evolution And The Relationship Algebra. Revision,
This paper discusses extensions to the conventional relational algebra to support both aspects of transaction time, evolution of a database s contents and