The Structure of Relation Algebras Generated by Relativizations.

The Structure of Relation Algebras Generated by Relativizations.

The foundation for an algebraic theory of binary relations was laid by De Morgan, Peirce, and Schröder during the second half of the nineteenth century. Modern development of the subject as a theory of abstract algebras, called ""relation algebras"", was undertaken by Tarski and...

Full description

Saved in:

Bibliographic Details
Main Author:	Givant, Steven R.
Format:	eBook
Language:	English
Published:	Providence : American Mathematical Society, 1994.
Series:	Contemporary Mathematics Ser.
Subjects:	Relation algebras. Relation algebras
Online Access:	Click for online access

Similar Items

The structure of relation algebras generated by relativizations
by: Givant, Steven R.
Published: (1994)

Ernst Schröder on algebra and logic
by: Schröder, Ernst, 1841-1902
Published: (2022)

Universal algebraic logic : dedicated to the unity of science
by: Andréka, H., et al.
Published: (2022)

Algebraic perspectives on substructural logics
Published: (2021)

Logic and its applications : International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan
Published: (2005)

Cardinal invariants on Boolean algebras
by: Monk, J. Donald (James Donald), 1930-
Published: (2014)

Cardinal invariants on Boolean algebras
by: Monk, J. Donald (James Donald), 1930-
Published: (1996)

Stone spaces
by: Johnstone, P. T.
Published: (1982)

Residuated Lattices : an Algebraic Glimpse at Substructural Logics.
by: Galatos, Nikolaos
Published: (2007)

Boolean Functions : Topics in Asynchronicity.
by: Vlad, Serban E.
Published: (2019)

Hajnal Andréka and István Németi on unity of science : from computing to relativity theory through algebraic logic
Published: (2021)

Logic and implication : an introduction to the general algebraic study of non-classical logics
by: Cintula, Petr, et al.
Published: (2021)

Advanced Boolean techniques : selected papers from the 15th International Workshop on Boolean Problems
Published: (2023)

Advanced Boolean techniques : selected papers from the 13th International Workshop on Boolean Problems
Published: (2020)

Recent findings in Boolean techniques : selected papers from the 14th International Workshop on Boolean Problems
Published: (2021)

Logics of variable inclusion
by: Bonzio, Stefano, et al.
Published: (2022)

Boolean functions in cryptology and information security
Published: (2008)

Logic functions and equations : fundamentals and applications using the XBOOLE-Monitor
by: Steinbach, Bernd
Published: (2022)

Semigroups underlying first-order logic
by: Craig, William, 1918-
Published: (2006)

Communication complexity : a new approach to circuit depth
by: Karchmer, Mauricio
Published: (1989)

Logic, Computation, Hierarchies.
Published: (2014)

Introduction to Relation Algebras Relation Algebras, Volume 1
by: Givant, Steven
Published: (2017)

Advanced Topics in Relation Algebras Relation Algebras, Volume 2
by: Givant, Steven
Published: (2017)

Relational and algebraic methods in computer science : 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings
Published: (2023)

Relational and algebraic methods in computer science : 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings
Published: (2020)

Relational and algebraic methods in computer science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
Published: (2021)

Simple Relation Algebras
by: Givant, Steven, et al.
Published: (2017)

Duality Theories for Boolean Algebras with Operators
by: Givant, Steven
Published: (2014)

Decision problems for equational theories of relation algebras
by: Andréka, H.
Published: (1997)

Illustrated Special Relativity through its Paradoxes : a Fusion of Linear Algebra, Graphics, and Reality
Published: (2014)

Introduction to Boolean Algebras
by: Givant, Steven, et al.
Published: (2009)

Groups with Steinberg relations and coordinatization of polygonal geometries
by: Faulkner, John R., 1943-
Published: (1977)

Recent advances in representation theory, quantum groups, algebraic geometry, and related topics : AMS Special Sessions on Geometric and Algebraic Aspects of Representation Theory and Quantum Groups, and Noncommutative Algebraic Geometry, October 13-14, 2012, Tulane University, New Orleans, Louisiana
by: Jakelic, Dijana, 1968-, et al.
Published: (2014)

Groups with Steinberg relations and coordinatization of polygonal geometries
by: Faulkner, John R., 1943-
Published: (1977)

Decision problems for equational theories of relation algebras
by: Andréka, H.
Published: (1997)

Generative complexity in algebra
by: Berman, Joel, 1943-
Published: (2005)

Algebraic structures
by: Kempf, George
Published: (1995)

Relative homological algebra. Volume 1
by: Enochs, Edgar E.
Published: (2011)

Relative Homological Algebra.
Published: (2011)

On the ideal structure of operator algebras
by: Prosser, Reese T. (Reese Trego), 1927-
Published: (1963)