• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Cybernetics and Information Technologies, Systems and Applications(CITSA2004) and 10th International Conference on Information Systems Analysis and Synthesis(ISAS2004) vol.3 >Generalizing some constructions in Wajsberg Algebras
【24h】

Generalizing some constructions in Wajsberg Algebras

机译：概括Wajsberg代数中的一些构造

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Wajsberg algebras are another formulation of MV—algebras which were introduced by Chang to prove the completeness of the infinite valued Lukasiewicz propositional calculus. The Vakarelov-Fidel construction allows to obtain Nelson algebras from Heyting ones. Monteiro and Viglizzo generalized that construction to get De Morgan algebras by means of an ideal and a filter in a distributive lattice. In this note we give a similar construction to obtain Wajsberg algebras from themselves. This construction is analysed when the original algebra is endowed with a U-operator wich expresses a possible notion of universal quantifier.
机译：Wajsberg代数是MV的另一种表示形式，由Chang引入以证明无限值Lukasiewicz命题演算的完整性。 Vakarelov-Fidel构造允许从Heyting代数获得Nelson代数。 Monteiro和Viglizzo概括了通过理想和分布格中的滤波器获得De Morgan代数的构造。在本说明中，我们给出了一个类似的构造，以从自身获得Wajsberg代数。当原始代数具有U-运算符时，将分析这种构造，该运算符表示通用量词的可能概念。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号