On the definition and the representability of quasi‐polyadic equality algebras

Mathematical Logic Quarterly 62 (1-2):9-15 (2016)
  Copy   BIBTEX

Abstract

We show that the usual axiom system of quasi polyadic equality algebras is strongly redundant. Then, so called non‐commutative quasi‐polyadic equality algebras are introduced (), in which, among others, the commutativity of cylindrifications is dropped. As is known, quasi‐polyadic equality algebras are not representable in the classical sense, but we prove that algebras in are representable by quasi‐polyadic relativized set algebras, or more exactly by algebras in.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2018-08-08

Downloads
19 (#1,075,244)

6 months
5 (#1,039,842)

Historical graph of downloads
How can I increase my downloads?