手机知网 App
24小时专家级知识服务
打 开
数学
多值逻辑中所有极大封闭集之确定问题
<正> 在 K 值逻辑理论中,函数系的完备性之判定问题是一个基本而重要的问题.此问题的彻底解决依赖于定出 K 值函数集 P_K 中的所有极大封闭集.Post 和分别定出了 P_2 与 P_3中的所有极大封闭集.对于一般的 K,王湘浩教授证明了 P_K 中任一极大封闭集必是某一个保 m 项关系的函数集,2≤m≤K;同时还提出了两类新的函数集:广
机 构:
领 域:
数学
关键词:
23 29
手机阅读本文
下载APP 手机查看本文
数学学报
1980年01期

搜 索