论文部分内容阅读
树逻辑,从周围的逻辑继承了,作为相关程序语言和类型系统的正式基础被介绍。在这篇论文,我们介绍递归进如此的逻辑系统,它能更清楚地并且简明地描述树数据。由做在提议和谓词之间的区别,为我们的形式的逻辑的简明语义解释被给。我们也开发没有操作员,为逻辑检查算法的一个模型。算法的 Thecorrectness 被显示出。如此的工作能被看作处理语言和更灵活的类型系统的半结构化的数据的基础。