Classes of Operations Closed under Permutation, Cylindrification and Composition

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2009-10-28 DOI:10.1109/ISMVL.2010.30

Miguel Couceiro, Erkko Lehtonen

引用次数: 2

Abstract

We describe the classes of operations closed under permutation of variables, addition of dummy variables and composition in terms of a preservation relation between operations and certain systems of multisets.

查看原文本刊更多论文

在置换、圆柱化和复合下闭合的操作类

利用运算与若干多集系统之间的保存关系，描述了在变量置换、虚拟变量的加法和复合下闭闭的运算类。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2010 40th IEEE International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量