Standard Completeness for Uninorm-Based Logics

2015 IEEE International Symposium on Multiple-Valued Logic Pub Date : 2015-05-18 DOI:10.1109/ISMVL.2015.20

P. Baldi, A. Ciabattoni

引用次数: 7

Abstract

We provide a uniform proof of standard completeness for a large class of axiomatic extensions of Uniform Logic.

查看原文本刊更多论文

基于统一信息逻辑的标准完备性

给出了一致逻辑的一大类公理扩展的标准完备性的一致证明。

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

求助全文

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

来源期刊

自引率

0.00%

发文量