On Groupoids of Relations with One Conjunctive Operation of Rank 2

Abstract In this paper, we obtain axiom systems, bases of identities and quasi-identities for classes of algebras of binary relations with a conjunctive operation, i.e., an operation that can be defined by a logical formula containing only conjunctions. The result of applying such an operation to tw...
Ausführliche Beschreibung

Gespeichert in:
Autor*in:

Bredikhin, Dmitry [verfasserIn]

Format:

E-Artikel

Sprache:

Englisch

Erschienen:

2022

Schlagwörter:

Algebra of relations

Logical operations

Identities

Varieties

Quasi-identities

Quasi-varieties

Groupoids

Partially ordered groupoids

Anmerkung:

© Springer Nature B.V. 2022

Übergeordnetes Werk:

Enthalten in: Studia logica - Dordrecht [u.a.] : Springer Science + Business Media B.V, 1953, 110(2022), 5 vom: 28. Apr., Seite 1137-1153

Übergeordnetes Werk:

volume:110 ; year:2022 ; number:5 ; day:28 ; month:04 ; pages:1137-1153

Links:

Volltext

DOI / URN:

10.1007/s11225-022-09993-2

Katalog-ID:

SPR048235504

Nicht das Richtige dabei?

Schreiben Sie uns!