天天亮点!完备海丁代数值结构

互联网   2023-06-27 20:16:00


(资料图片)

1、 完备海丁代数值结构(complete Heyting alge-bra-valued structure)形式系统的一种赋值结构.设L是一个不含函数符号的语言。

2、日是一个完备海丁代数.称满足如下条件的

文章到此就分享结束,希望对大家有所帮助。

相关资讯
最新资讯