逻辑在LF 逻辑框架中通过判断为类型编码来表示。这来源于Per Martin-Löf对康德的判断的概念的发展。两个高阶判断，假言的和一般的，分别对应于普通的和依赖的函数空间。判断为类型的方法论是把判断表示为它们的证明的类型。逻辑系统由把种类(kind)和类型指派到表示它的语法、它的判断和它的规则模式(scheme)的有限集合的它的标署(signature)来表示。对象-逻辑的规则和证明被看做假言-一般判断的原始证明。

 建筑工程概算，预算，决算这三者的差别一概算包含设计概算和调整概算，设计概算是在初步设计或扩张初步设计环节，由设计方案单位依据初步设计或扩张基本设计图纸，概算定额指标，工程量计算标准，材料设备的预算价格，基本建设主管机构授予的相关费用定额或取费标准等材料事先计算工程从筹备至工程验收交付整个过程基本建设费用经济发展文件。简而言之，即计算项目建设总费用。

  建筑工程概算的关键功效國家明确和操纵基本建设总投资的根据；明确工程投资的高限额；工程承包招标的根据；核准额的根据；考评剖析设计方案经济发展合理化的根据调整概算在技术设计阶段，因为设计方案內容与初步设计的差别，设计方案单位解决投资开展实际结转，对基本设计概算开展调整而产生的经济发展文件。其功效与设计概算同样。施工图预算就是指筹建工程在动工以前，依据已准许并经预审后的施工图纸施工组织设计方案现行标准工程预算定额工程量计算标准材料和设备的预算价格各类取费标准，事先计算工程建设费用的经济发展文件。施工图预算的关键功效是考评工程成本明确工程造价的关键根据；是编制标底投标文件签署承发包合同书的根据；是工程价款结算的根据是工程施工企业编制施工进度计划的根据。

   竣工决算是由施工单位编制的体现项目建设具体造价和投资实际效果的文件。竣工决算的內容竣工决算的內容应包含从项目策划到竣工建成投产整个过程的所有具体费用。竣工决算的內容包含竣工财务决算使用说明竣工财务决算报表工程竣工图和工程造价对比分析等四个一部分。在其中竣工财务决算使用说明和竣工财务决算报表又合称之为竣工财务决算，它是竣工决算的具体内容。

  项目建设是指具有独立的行政组织机构并实行独立的经济核算，具有设计任务书，并按一个总体设计组织施工的一个或几个单项工程所组成的建设工程，建成后具有完整的系统，可以独立的形成生产能力或使用价值的建设工程。按国家的规定，基本建设程序包括：项目建议书、可行性研究报告、初步设计、开工报告和竣工验收等工作环节。根据以上几个建设程序，可以将建设项目分为项目工程阶段、施工管理阶段、竣工验收三个阶段。按照国家的规定必须严格执行以上各工作阶段的工作要求，确保国家项目建设资金的有效使用，充分发挥效益。任何部门、地区和项目法人都不得擅自简化建设程序和超越权限、化整为零进行项目审批。