Weak bases for Boolean relational clones revisited

Mike Behrisch

doi:10.1109/ISMVL52857.2022.00017

Weak bases for Boolean relational clones revisited

Mike Behrisch

Institute for Algebra

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

We improve an existence condition for weak bases of relational clones on finite sets. Moreover, we provide a set of singleton weak bases of Boolean relational clones different than those exhibited by Lagerkvist in [10]. We treat groups of ‘similar’ Boolean clones in a uniform manner with the goal of thereby simplifying proofs working by case distinction along the clones in Post's lattice.

Original language	English
Title of host publication	IEEE 52nd International Symposium on Multiple-Valued Logic—ISMVL 2022, Dallas, Texas, USA, 18–20 May 2022
Place of Publication	Los Alamitos, CA, USA
Publisher	IEEE Computer Society
Pages	68-73
Number of pages	6
ISBN (Electronic)	9781665423953
DOIs	https://doi.org/10.1109/ISMVL52857.2022.00017
Publication status	Published - May 2022

Publication series

Name	Proceedings of The International Symposium on Multiple-Valued Logic
Volume	2022-May
ISSN (Print)	0195-623X

Fields of science

101 Mathematics
101001 Algebra
101013 Mathematical logic
102031 Theoretical computer science

JKU Focus areas

Digital Transformation

Access to Document

10.1109/ISMVL52857.2022.00017

Cite this

@inproceedings{1c551cb59944479fbb5459b2fa6ad28d,

title = "Weak bases for Boolean relational clones revisited",

abstract = "We improve an existence condition for weak bases of relational clones on finite sets. Moreover, we provide a set of singleton weak bases of Boolean relational clones different than those exhibited by Lagerkvist in [10]. We treat groups of {\textquoteleft}similar{\textquoteright} Boolean clones in a uniform manner with the goal of thereby simplifying proofs working by case distinction along the clones in Post's lattice.",

author = "Mike Behrisch",

year = "2022",

month = may,

doi = "10.1109/ISMVL52857.2022.00017",

language = "English",

series = "Proceedings of The International Symposium on Multiple-Valued Logic",

publisher = "IEEE Computer Society",

pages = "68--73",

booktitle = "IEEE 52nd International Symposium on Multiple-Valued Logic—ISMVL 2022, Dallas, Texas, USA, 18–20 May 2022",

}

Behrisch, M 2022, Weak bases for Boolean relational clones revisited. in IEEE 52nd International Symposium on Multiple-Valued Logic—ISMVL 2022, Dallas, Texas, USA, 18–20 May 2022. Proceedings of The International Symposium on Multiple-Valued Logic, vol. 2022-May, IEEE Computer Society, Los Alamitos, CA, USA, pp. 68-73. https://doi.org/10.1109/ISMVL52857.2022.00017

Weak bases for Boolean relational clones revisited. / Behrisch, Mike.
IEEE 52nd International Symposium on Multiple-Valued Logic—ISMVL 2022, Dallas, Texas, USA, 18–20 May 2022. Los Alamitos, CA, USA: IEEE Computer Society, 2022. p. 68-73 (Proceedings of The International Symposium on Multiple-Valued Logic; Vol. 2022-May).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Weak bases for Boolean relational clones revisited

AU - Behrisch, Mike

PY - 2022/5

Y1 - 2022/5

N2 - We improve an existence condition for weak bases of relational clones on finite sets. Moreover, we provide a set of singleton weak bases of Boolean relational clones different than those exhibited by Lagerkvist in [10]. We treat groups of ‘similar’ Boolean clones in a uniform manner with the goal of thereby simplifying proofs working by case distinction along the clones in Post's lattice.

AB - We improve an existence condition for weak bases of relational clones on finite sets. Moreover, we provide a set of singleton weak bases of Boolean relational clones different than those exhibited by Lagerkvist in [10]. We treat groups of ‘similar’ Boolean clones in a uniform manner with the goal of thereby simplifying proofs working by case distinction along the clones in Post's lattice.

UR - https://www.scopus.com/pages/publications/85133466489

U2 - 10.1109/ISMVL52857.2022.00017

DO - 10.1109/ISMVL52857.2022.00017

M3 - Conference proceedings

T3 - Proceedings of The International Symposium on Multiple-Valued Logic

SP - 68

EP - 73

BT - IEEE 52nd International Symposium on Multiple-Valued Logic—ISMVL 2022, Dallas, Texas, USA, 18–20 May 2022

PB - IEEE Computer Society

CY - Los Alamitos, CA, USA

ER -

Weak bases for Boolean relational clones revisited

Abstract

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Equations in universal algebra

Cite this

Weak bases for Boolean relational clones revisited

Abstract

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Projects

Equations in universal algebra

Cite this