排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
否定是逻辑学的中心概念之一.直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定.所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质.例如,禁自返相对于我们的语义是模态可定义的. 相似文献
1