原名:On the connection between the categorical and the modal logic approaches to Quantum Mechanics
作品简介:从一个小范畴和一个函子到集合和关系的范畴。第二 。 DLT 的证明系统，一种具有有限多种类型的动态逻辑。对于定义中的图的交换，请注意，从 开始。 φ† ◦φ : C → C。回想一下 φ† 是 φ 的转置，它的……
资源下载
VIP免费升级VIP
原名:On the connection between the categorical and the modal logic approaches to Quantum Mechanics
作品简介:从一个小范畴和一个函子到集合和关系的范畴。第二 。 DLT 的证明系统，一种具有有限多种类型的动态逻辑。对于定义中的图的交换，请注意，从 开始。 φ† ◦φ : C → C。回想一下 φ† 是 φ 的转置，它的……
