Recently, ZHU Wu-jia and XIAO Xi-an introduced a propositional calculus system MP and its extension MP~*, called medium logic. Many formulas are derived from
This study aims to evaluate the Silver-to-Gold LEED-NC 2009 (Leadership in Energy and Environmental Design for New Construction and Major Renovations) cross-certification performance and categorize the cross-certifica...This study aims to evaluate the Silver-to-Gold LEED-NC 2009 (Leadership in Energy and Environmental Design for New Construction and Major Renovations) cross-certification performance and categorize the cross-certification performance in eight US states in 2012-2017. The following three statistical analyses were used: (a) pooling LEED projects within a single state and single year in a single-state-year group with the subsequent use of a replication method, (b) pooling the medians of the LEED projects in each state from all years in a state-and-total-years group, and (c) pooling the LEED projects from all states and years in a total states-and-years group. The Silver-to-Gold cross-certification performance has a low propelling effect. Considering the Silver-to-Gold category cross-certification performances, the Energy and Atmosphere (EA) category has a high propelling effect, the Sustainable Sites (SS) and Environmental Quality (EQ) categories have moderate propelling effects, the Water Efficiency (WE), Materials and Resources (MR), and Innovation in Design (ID) categories have low propelling effects. Six of the eight states used an EA-high emphasized strategy, and two of the eight states used a SS/EA/WE/EQ/ID-moderate emphasized strategy. The single-state-year group and state-and-total-years group analyses are more robust than the pooling LEED projects using the total state-and-year group analysis.展开更多
A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is true.In L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under a...A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is true.In L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under an assignment if either some formula in △ has truth-value t,or some formula in Θ has truth-value m,or some formula in Г has truth-value￡.Corre-spondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic.Dually,a CO-multisequent is a triple △:Θ:Г,which is valid if there is an assignment v in which each formula in△has truth-value≠t,each formula in Θ has truth-value≠m,and each formula in Г has truth-value≠￡.Correspondingly there is a sound and com-plete Gentzen deduction system G-for co-multisequents which is nonmonotonic.展开更多
Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for qua...Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.展开更多
文摘Recently, ZHU Wu-jia and XIAO Xi-an introduced a propositional calculus system MP and its extension MP~*, called medium logic. Many formulas are derived from
文摘This study aims to evaluate the Silver-to-Gold LEED-NC 2009 (Leadership in Energy and Environmental Design for New Construction and Major Renovations) cross-certification performance and categorize the cross-certification performance in eight US states in 2012-2017. The following three statistical analyses were used: (a) pooling LEED projects within a single state and single year in a single-state-year group with the subsequent use of a replication method, (b) pooling the medians of the LEED projects in each state from all years in a state-and-total-years group, and (c) pooling the LEED projects from all states and years in a total states-and-years group. The Silver-to-Gold cross-certification performance has a low propelling effect. Considering the Silver-to-Gold category cross-certification performances, the Energy and Atmosphere (EA) category has a high propelling effect, the Sustainable Sites (SS) and Environmental Quality (EQ) categories have moderate propelling effects, the Water Efficiency (WE), Materials and Resources (MR), and Innovation in Design (ID) categories have low propelling effects. Six of the eight states used an EA-high emphasized strategy, and two of the eight states used a SS/EA/WE/EQ/ID-moderate emphasized strategy. The single-state-year group and state-and-total-years group analyses are more robust than the pooling LEED projects using the total state-and-year group analysis.
文摘A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is true.In L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under an assignment if either some formula in △ has truth-value t,or some formula in Θ has truth-value m,or some formula in Г has truth-value￡.Corre-spondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic.Dually,a CO-multisequent is a triple △:Θ:Г,which is valid if there is an assignment v in which each formula in△has truth-value≠t,each formula in Θ has truth-value≠m,and each formula in Г has truth-value≠￡.Correspondingly there is a sound and com-plete Gentzen deduction system G-for co-multisequents which is nonmonotonic.
基金the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2010KF-06)Beijing University of Aeronautics and Astronautics,and by the National Basic Research Program of China(973 Program)(2005CB321901).
文摘Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.
