论文标题
含义代数II：完整性W.R.T.基于固定的三角体
Implicative algebras II: completeness w.r.t. Set-based triposes
论文作者
论文摘要
我们证明所有基于固定的三角体都是暗示性的三角洲。
We prove that all Set-based triposes are implicative triposes.
加入微信交流群
扫码加入学术交流群，获取更多资源
我们证明所有基于固定的三角体都是暗示性的三角洲。
We prove that all Set-based triposes are implicative triposes.
扫码加入学术交流群，获取更多资源