完备海丁代数值结构-环球今热点

(资料图片仅供参考)

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

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

本文到此分享完毕，希望对大家有所帮助。