On some properties of directoids

We study some properties of directoids and their expansions by additional signature, including bounded involutive directoids and complemented directoids. Among other results, we provide a shorter proof of the direct decomposition theorem for bounded involutive directoids given in Chajda and Länger (...

Full description

Saved in:
Bibliographic Details
Published in:Soft computing (Berlin, Germany) Germany), 2015-04, Vol.19 (4), p.955-964
Main Authors: Chajda, I., Gil-Férez, J., Giuntini, R., Kolařík, M., Ledda, A., Paoli, F.
Format: Article
Language:English
Subjects:
Algebra
Artificial Intelligence
Computational Intelligence
Control
Engineering
Foundations
Mathematical Logic and Foundations
Mechatronics
Robotics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We study some properties of directoids and their expansions by additional signature, including bounded involutive directoids and complemented directoids. Among other results, we provide a shorter proof of the direct decomposition theorem for bounded involutive directoids given in Chajda and Länger (Directoids. An algebraic approach to ordered sets. Heldermann Verlag, Lemgo 2011 ); we present a description of central elements of complemented directoids; we show that the variety of directoids, as well as its expansions mentioned above, all have the strong amalgamation property.
ISSN:1432-7643
1433-7479
DOI:10.1007/s00500-014-1504-5