The LII and LII1/2 propositional and predicate logics

被引：29

作者：

Cintula, P ^{[1
]}

机构：

[1] Czech Tech Univ, Fac Nucl Sci & Phys Engn, Dept Math, Prague 12000 2, Czech Republic

来源：

FUZZY SETS AND SYSTEMS | 2001年 / 124卷 / 03期

关键词：

D O I：

10.1016/S0165-0114(01)00099-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper has two main goals. The first goal is to show a different axiomatic system of the L Pi and L Pi1/2 propositional logics. These propositional logics were introduced in Esteva et al. (Arch. Math. Logic, to appear) and they are the combinations of the Lukasiewicz and the product logic (together with the constant 1/2 in case of the LEI logic). The second goal is to show an axiomatic system and the completeness theorem of a predicate version of the L Pi and L Pi1/2 propositional logics. It will be shown that Godel, product and Lukasiewicz predicate logics are contained in the L Pi For All logic. (C) 2001 Elsevier Science B.V. All rights reserved.

引用

页码：289 / 302

页数：14