逻辑框架-一流百科

逻辑框架

简介在逻辑学中，逻辑框架提供了一种方法来定义（或呈现）一个逻辑作为高阶类型理论中的签名，其方式是原始逻辑中公式的可证明性减少为框架类型理论中的类型...