Unification and Projectivity in De Morgan and Kleene Algebras

被引：0

作者：

Simone Bova

Leonardo Cabrer

机构：

[1] Technische Universität Wien,Institut für Informationssysteme

[2] University of Bern,Mathematics Institute

来源：

Order | 2014年 / 31卷

关键词：

Distributive lattices; De Morgan and Kleene algebras; Unification; Projectivity;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.

引用

页码：159 / 187

页数：28

共 50 条

[1] Unification and Projectivity in De Morgan and Kleene Algebras
Bova, Simone
Cabrer, Leonardo
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2014, 31 (02): : 159 - 187
[2] A FAMILY OF FINITE DE MORGAN AND KLEENE ALGEBRAS
Walker, Carol L.
Walker, Elbert A.
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2012, 20 (05) : 631 - 653
[3] INJECTIVE DE-MORGAN AND KLEENE ALGEBRAS
CIGNOLI, R
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 47 (02) : 269 - 278
[4] Unification, finite duality and projectivity in varieties of Heyting algebras
Ghilardi, S
ANNALS OF PURE AND APPLIED LOGIC, 2004, 127 (1-3) : 99 - 115
[5] Duality, projectivity, and unification in Lukasiewicz logic and MV-algebras
Marra, Vincenzo
Spada, Luca
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (03) : 192 - 210
[6] DE MORGAN FUNCTIONS AND FREE DE MORGAN ALGEBRAS
Movsisyan, Yu. M.
Aslanyan, V. A.
DEMONSTRATIO MATHEMATICA, 2014, 47 (02) : 271 - 283
[7] Representation of De Morgan and (Semi-)Kleene Lattices
Rivieccio, Umberto
SOFT COMPUTING, 2020, 24 (12) : 8685 - 8716
[8] Representation of De Morgan and (Semi-)Kleene Lattices
Umberto Rivieccio
Soft Computing, 2020, 24 : 8685 - 8716
[9] PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV-ALGEBRAS
Di Nola, A.
Grigolia, R.
Lenzi, G.
TRANSACTIONS OF A RAZMADZE MATHEMATICAL INSTITUTE, 2019, 173 (02) : 21 - 29
[10] Unification through projectivity
Ghilardi, S
JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (06) : 733 - 752

← 1 2 3 4 5 →