Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters

2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI:10.1109/ISMVL.2010.23

Félix Bou

引用次数: 4

Abstract

In this paper we axiomatize the formulas that, in the infinite-valued (standard) Lukasiewicz algebra, always take a value above certain fixed number. This generalizes the approach considered in the infinite-valued Lukasiewicz logic, where the fixed number is the maximum.

查看原文本刊更多论文

基于主格滤波器的无限值Lukasiewicz逻辑

本文给出了在无穷值(标准)Lukasiewicz代数中，总是取某定数值以上的公式的公理化。这推广了无限值Lukasiewicz逻辑中考虑的方法，其中固定的数是最大值。

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

求助全文

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

来源期刊

2010 40th IEEE International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量