シークエント計算⇢
お気に入り画像登録
<< シークエント計算¬
線形論理⊗ >>
みてみん
登録 タグ
*
数理論理学
*
小説家になろう
→
編集を行うにはログインしてください
タグ 編集
*数理論理学
[削除]
*小説家になろう
[削除]
*
タグ編集終了
投稿日時
2019-08-03 14:10:34
投稿者
ポストキュビスム
このユーザのマイページへ
お気に入りユーザ登録
投稿者コメント
性質的には古典論理の→と同じ。不安だから若干記号を変えたのだ。
→画像情報ページへ
最大化
|
アクセス解析
|
ユーザ情報
ツイート
▽この画像のURL(
リンクについて
)▽
▽この画像のトラックバックURL▽(
トラックバックについて
)
情報提供
-
みてみん(Mitemin)
-