The collection of all the rough sets of an approximation space has been given several algebraic interpretations, including Stone algebras, regular double Stone algebras, semi-simple Nelson algebras, pre-rough algebras...The collection of all the rough sets of an approximation space has been given several algebraic interpretations, including Stone algebras, regular double Stone algebras, semi-simple Nelson algebras, pre-rough algebras and 3-valued Lukasiewicz algebras. A 3-valued Lukasiewicz algebra is a Stone algebra, a regular double Stone algebra, a semi-simple Nelson algebra, a pre-rough algebra. Thus, we call the algebra constructed by the collection of rough sets of an approximation space a rough 3-valued Lukasiewicz algebra.In this paper,the rough 3-valued Lukasiewicz algebras, which are a special kind of 3-valued Lukasiewicz algebras, are studied. Whether the rough 3-valued Lukasiewicz algebra is a axled 3-valued Lukasiewicz algebra is examined.展开更多
网络团购(on-line group shopping)作为一种新兴和重要的商业模式B2T (Business to Team)近年来发展迅速,同时又呈现出一些不确定性。这一商业模式的价值主张或价值体现(value proposition)在于通过集合订单使消费者获取最佳的价格(find...网络团购(on-line group shopping)作为一种新兴和重要的商业模式B2T (Business to Team)近年来发展迅速,同时又呈现出一些不确定性。这一商业模式的价值主张或价值体现(value proposition)在于通过集合订单使消费者获取最佳的价格(find the best price),同时为消费者带来了特殊的消费和服务体验,其本质是一种折扣交易(discount deals)。但国内这一模式的发展普遍存在同质化、易于模仿和缺乏可持续的盈利模式等问题而遭遇发展瓶颈。文章采用e3-value系统分析方法和工具,对网络团购商业模式的价值本体与价值活动进行了结构化分析;针对其缺乏行业协同性问题,基于价值网这一价值创造和协同的“软集成”模式,提出了一种新的商业模式——团购价值网;进一步的价值分析表明,这一新的商业模式不仅能通过构建共生共赢的价值网生态系统形成新的价值共同体,还有利于提高各参与方的收益。最后从管理的角度,提出了一些对策与建议,以实现网络团购商业模式的重组与优化,提升这一行业的竞争力与生命力。展开更多
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.展开更多
基金The 973 NationalKey BasicResearchand Development Program of China (No .2002CB312106 ) theChinaPostdoctoralScience Foundation (N o.2004035715)+1 种基金 the Science & Technology Program of Zhejiang Province in C hina(N o.2004C31098 )thePostdoctoraSlcienceFoundationofZhejiangProvinceinChina (No .2004-bsh-023).
文摘The collection of all the rough sets of an approximation space has been given several algebraic interpretations, including Stone algebras, regular double Stone algebras, semi-simple Nelson algebras, pre-rough algebras and 3-valued Lukasiewicz algebras. A 3-valued Lukasiewicz algebra is a Stone algebra, a regular double Stone algebra, a semi-simple Nelson algebra, a pre-rough algebra. Thus, we call the algebra constructed by the collection of rough sets of an approximation space a rough 3-valued Lukasiewicz algebra.In this paper,the rough 3-valued Lukasiewicz algebras, which are a special kind of 3-valued Lukasiewicz algebras, are studied. Whether the rough 3-valued Lukasiewicz algebra is a axled 3-valued Lukasiewicz algebra is examined.
文摘网络团购(on-line group shopping)作为一种新兴和重要的商业模式B2T (Business to Team)近年来发展迅速,同时又呈现出一些不确定性。这一商业模式的价值主张或价值体现(value proposition)在于通过集合订单使消费者获取最佳的价格(find the best price),同时为消费者带来了特殊的消费和服务体验,其本质是一种折扣交易(discount deals)。但国内这一模式的发展普遍存在同质化、易于模仿和缺乏可持续的盈利模式等问题而遭遇发展瓶颈。文章采用e3-value系统分析方法和工具,对网络团购商业模式的价值本体与价值活动进行了结构化分析;针对其缺乏行业协同性问题,基于价值网这一价值创造和协同的“软集成”模式,提出了一种新的商业模式——团购价值网;进一步的价值分析表明,这一新的商业模式不仅能通过构建共生共赢的价值网生态系统形成新的价值共同体,还有利于提高各参与方的收益。最后从管理的角度,提出了一些对策与建议,以实现网络团购商业模式的重组与优化,提升这一行业的竞争力与生命力。
基金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.