论文标题
含义代数II：完整性W.R.T.基于固定的三角体
Implicative algebras II: completeness w.r.t. Set-based triposes
论文作者
论文摘要
我们证明所有基于固定的三角体都是暗示性的三角洲。
We prove that all Set-based triposes are implicative triposes.
加入微信交流群
发送 求 20201109085 免费下载英文原文
我们证明所有基于固定的三角体都是暗示性的三角洲。
We prove that all Set-based triposes are implicative triposes.
发送 求 20201109085 免费下载英文原文