基于有限格蕴涵代数的格值命题逻辑语法系统

著录项

• 来源
  《西南交通大学学报》 |2004年第1期|90-94|共5页
• 作者

  马骏; 高雅; 秦克云; 徐扬;

  展开▼
• 作者单位

  西南交通大学电气学院,四川,成都,610031;

  西南交通大学理学院,四川,成都,610031;

  西南交通大学计算机与通讯工程学院,四川,成都,610031;

  西南交通大学理学院,四川,成都,610031;

  西南交通大学理学院,四川,成都,610031;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 命题演算、谓词演算、类演算;
• 关键词

  多值逻辑; 逻辑代数; 格蕴涵代数;