Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability (original) (raw)

The finite representation property for representable residuated semigroups

Daniel Rogozin

arXiv: Logic, 2020

Representations of distributive lattice-ordered semigroups with binary relations

Algebra Universalis, 1991

Representability is not decidable for finite relation algebras

Transactions of the American Mathematical Society, 1999

Axiomatizability of positive algebras of binary relations

Algebra universalis, 2011

Finite algebras of relations are representable on finite sets

Andreka Hajnal

Journal of Symbolic Logic, 1999

On the finitization problem of relation algebras (completeness problem for the finite variable fragments)

István Németi

Embedding a demonic semilattice in a relation algebra

Fairouz Tchier

Theoretical Computer Science, 1995

RELATIONALLY INDUCED SEMIGROUPS

Gene Norris

On the semigroup of binary relations

Bob Plemmons

Pacific Journal of Mathematics, 1970

Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types

Wolfram Kahl

The Journal of Logic and Algebraic Programming, 2008

On finitely related semigroups

Peter Mayr

Semigroup Forum, 2013

D.A.Romano: On Semilattice-ordered Semigroups. A Constructive Point of View; Scientific Studies and Research. Series Mathematics and Informatics, ISSN 2067-3566, 21(2)(2011), 117-134

Daniel Abraham Romano

There is No Finite-Variable Equational Axiomatization of Representable Relation Algebras Over Weakly Representable Relation Algebras

The Review of Symbolic Logic, 2016

Embedding a Demonic Semilattice in a Relational Algebra

Anthony Milin, Fairouz Tchier

Theoretical Computer Science, 1995

First-Order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier Depth

The Journal of Symbolic Logic, 2021

AUTOMATICITY AND PRESENTATIONS OF SEMIGROUPS (Algebras, Languages, Algorithms and Computations)

邦孝庄司

2011

Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras

Peter Jipsen

Relational and Algebraic Methods in Computer Science, 2017

1. Relation algebras Outline 1. Relation algebras; representations

2013

Complete Semigroups of Binary Relations Defined by Semilattices of the Class

Neşet AYDIN

The equational theory of union-free algebras of relations

Algebra Universalis, 1995

The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable

Logic Journal of the IGPL, 2005

Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus

Ildikó Sain

Logic Journal of IGPL, 1993

On the Semigroup of Difunctional Binary Relations

ibrahim sawudi

FUDMA JOURNAL OF SCIENCES

AN INTRODUCTION TO IMPLICATIVE SEMIGROUPS WITH APARTNESS

Daniel Abraham Romano

Strongly representable atom structures of relation algebras

Proceedings of the American Mathematical Society, 2001

A Theorem on Semilattice-Ordered Semigroup1

Daniel Abraham Romano

2009

Varieties of semiassociative relation algebras and tense algebras

Tomasz Kowalski

Algebra universalis

Semigroups Through Semilattices

Jimmie Lawson

Transactions of the American Mathematical Society, 1970

On taking subalgebras of relativized relation algebras

Algebra Universalis, 1988

Finite Quantifier Hierarchies in Relational Algebras (Semenov A. L.; Soprunov S. F.)

Alexey Semenov

Proceedings of the Steklov Institute of Mathematics, 2011

The q-theory of finite semigroups

Benjamin Steinberg

2001

Categorical Semigroups

Fred McMorris

Proceedings of the American Mathematical Society, 1972

On permutative semigroup algebras

Thomas Nordahl

Algebra Universalis, 1988

Lattice–Based Relation Algebras and Their Representability

Ewa Orlowska

Lecture Notes in Computer Science, 2003