On some substructural aspects of t-norm based logics

information processing and management of uncertainty（2004）

引用 23|浏览2

暂无评分

摘要

We show in this paper that the (com- mutative integral bounded) semilat- ticed pseudocomplemented monoids PM s' and the involutive algebras of this class, which are structures that appear in the semantical stud- ies of t-norm based logics, are struc- tures which are strongly linked with Gentzen systems without contrac- tion and also with their correspond- ing external deductive systems.

查看译文

关键词

external deductive system,residuated lattices,substructural log- ics,algebraic logic,grisin alge- bras.,al- gebraization of gentzen systems,commutative in- tegral bounded semilatticed pseudo- complemented monoids,t-norm based logics

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要