权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

部分構造論理の意味論の構築にむけて:量子力学の基礎からのアプローチ

构建子结构逻辑的语义：一种基于量子力学基础的方法

基本信息

批准号：
17652001
负责人：
中戸川孝治
金额：
$ 1.98万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Exploratory Research
财政年份：
2005
资助国家：
日本
起止时间：
2005 至 2006
项目状态：
已结题

项目摘要

部分構造論理の意味論を量子力学の基礎からアプローチする時、quantale QとQ-right-Module M=(M,・,1)からなる体系(M,Q)を考える。Mがヒルベルト空間の閉線形部分空間からなる束とは順序同型でなら、(M,Q)をquantum体系とよぶ(Pedro Resende 2001)。他方、Sadrzadeh(2006)は、MとQの各々のsup-endomorphosmsよりなる対をsystem-endomorphisumとよび、その集まり{(fM,fQ)}を組み入れた三つ組み(M,Q,{(fM,fQ)})を認知体系とよぶ(Sadrzadeh, 2006)。認知体系を意味論とするepistemic logicにより、muddy childen paradoxに関する認知更新状況が形式化された。八杉・小田(1998)は、ゲーム論理に関する金子・長嶋(1995)を応用して、two wise girls puzzleを説明した。北村・中戸川・深山(2007)は、この説明をCFLにより再構成した。J.L.Bell(2007)は、時系列に沿って展開する遷移の構造と各段階の状態を記述する観測エージェントの知識状態とを切り離したうえで、cover schemeと前層で適切に関蓮付け、古典・非古典の違いによらず統一的説明を与えるpreorder P=(P,≦)の部分集合SがT⊆Pのsharpningであるとは、(∀s∈S)(∃t∈T)(s≦t)の時である。各p∈Pにp↓={q:q,≦p}の部分集合の族C(p)(pのC-coversとよぶ)を対応させる写像CがP上のcover schemeといわれるのは、q≦pの時pのどのcoverに対してもqのcoverがそのsharpeningとなる時である。P上のcaver schemes全体をCov(P)とかく。C,D∈Cov(P)に対しぐ半順順序C〓Dは(∀p)(C(p)⊆D(p))で定義できる。Cov(P)は〓で元備束となる。さらに、Cov(P)に積★を次のように定義できる。C,D∈Cov(P)に対し、★D)(p)は∪Ts(s∈S)という形をしたp↓の部分集合の全体からなる。ここにS∈C(P)で、s∈S,Ts∈D(s)。Cov(P)は★でquantaleとなる.C∈Cov(P)に対し、P上の前層KがK(p)=∩{K(s):s∈S}(p∈S,S∈C(p))をみたす時、KはCとcompatibleという。[Pを事象のcausal setとみなすと、p,q∈Pに対しp≦qをpの未来光錘の中にqが入っている、と解釈することができる(Fotini Markopoulou, 1999).J.L.Bell(2007)は、causally evolving algebras of observablesとして、Pの上のC^*-代数の前層を導入した。]C∈Cov(P)にcompatibleな前層として、C^*-代数やresiduatedの前層Kを便い分けることにより、cover schemeという構造をとおして、量子力学の(代数的)某礎と部分構造論理の解釈は通低している.quantaleであるCov(P)は、時系列にそって展開する事象の(推移制御の構造の論理をあらわす。他方、C^*-代数、residuated束、Hyting束、ブール束等の前層を使い分けることにより、列展開の段階にあるエージェントの知識状態を、解明しようとする種々の世界の状態に応じて構造化できる。

The Meaning Theory of Partial Structural Logic is the Foundation of Quantum Mechanics. The Quantale Q and Q-right-Module M=(M,·,1) are examined. M Sadrzadeh(2006), et al.(2006). The sup-endomorphisms of M and Q are related to the systems-endomorphisum and the set {(fM, fQ)}. Cognitive system theory means that cognitive update status is formalized in terms of episodic logic and muddy childish paradox. Hachisugi Oda (1998) explains why two wise girls puzzle is used. Kitamura Nakatokawa Yamamoto (2007) J.L.Bell(2007) A description of the state of each stage of the structure of migration along the time series, a description of the state of knowledge of transition along the state of transition along the structure of migration along the time series, a description of the state of transition along the time series, a description of A family C(p)(p's C-covers) of partial sets for each p∈P p ={q:q,$> p} P on the caver schemes all Cov(P). C,D∈Cov(P) Cov(P). Cov(P) is the product of Cov(P). C,D∈Cov(P), ★D)(p) Ts(s∈S)ここにS∈C(P)で、s∈S,Ts∈D(s)。C∈Cov (P) corresponds to K(p)=<${K(s):s∈S}(p∈S,S∈C(p)). [P is the causal set of events, p,q∈P is the causal set of events, p ≤ q ≤ p is the causal set of events, p ≤ q ≤ p is the causal set of events, p ≤ p is the causal set of events, p C∈Cov(P) is compatible with the previous layer, C^*-algebra, and the previous layer K is separated from the structure. The solution of some basic structural logic of quantum mechanics (algebra) is low. The quantale is low. Cov(P) is low. The time series is high. The expansion of the event image (the logic of the structure of the transition control) is low. The state of knowledge of the state of the world of other squares, C^*-algebras, residuated bundles, Hyting bundles, and bundle of columns, etc., is structured.