【摘 要】
：
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 log
【机 构】
：
Key Laboratory of Intelligent Information Processing,Institute of Computing Technology,Chinese Acade
论文部分内容阅读
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 multisequent 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 rapid industrial growth and the necessity of recovering and recycling raw materials increased the interest in the production of highly selective and efficie
Age estimation plays an important role in human-computer interaction system.The lack of large number of facial images with definite age label makes age estimation al-gorithms inefficient.Deep label distribution learning(DLDL)which employs convolutional ne
Physical aging is currently a major obstacle for the commercialization of PIM-1 membranes for gas separation applications.A well-known approach to rever-sing ph
为了提高我国城轨车辆制造效率、降低制造成本,提出了城轨车辆混流双边装配线平衡问题研究.首先建立了以最小化成对工位数和最小化总工位数、装配线负荷均衡为目标的数学模型,然后研究了基于改进混合粒子群算法的求解方法,最后将该方法应用于企业实际装配线,通过仿真分析验证了该方法的有效性.
Emerging byte-addressable non-volatile memory(NVM)technologies offer higher density and lower cost than DRAM,at the expense of lower performance and limited write endurance.There have been many studies on hybrid NVM/DRAM memory management in a single phys
Membrane-based separation technologies have received increasing attention attributing to lots of advantages such as the low energy consumption,easy operation,an
With the advent of new computing paradigms,parallel file systems serve not only traditional scientific computing applications but also non-scientific computing applications,such as financial computing,business,and public administration.Parallel file syste
The widespread fake news in social networks is posing threats to social stability,economic development,and political democracy,etc.Numerous studies have explored the effective detection approaches of online fake news,while few works study the intrinsic pr
Saccharide production is critical to the devel-opment of biotechnology in the field of food and biofuel.The extraction of saccharide from biomass-based hydro-ly
Industry and academia have been making great ef-forts in improving refresh rates and resolutions of display de-vices to meet the ever increasing needs of consum