PS論理

PSは確率空間の意味。命題は確率空間〈propositions as probability spaces〉意味論。

公理シーケント

• A |- A by id
• A |- T by bang

構造規則

   A |- B  B |- C
  ------------------カット, 結合
     A |- C

   |- A  |- B
  --------------連言導入, テンソル積
    |- A∧B

演繹定理

    A |- B
  --------- 含意導入, 同時化
    |- A⊃B

    |- A⊃B
  --------- 含意消去, 条件化
   A |-  B

PS特有

   |- A⊃B
  ----------- 反転 
   |- B⊃A

   |- A⊃B
  ---------- 周辺化
   |-  B