指数的結合子

ウィキペディア小見出し辞書

指数的結合子（!、?）

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/16 14:33 UTC 版)

「線形論理」の記事における「指数的結合子（!、?）」の解説

ここまで解説した結合子は状態やその遷移を表すことができるが、真理値を記述するには弱すぎる。実世界に関する議論が標準の数学的推論を妨げるべきではないので、これは明らかに好ましい。線形論理は、様相論理の考え方を導入し、通常の論理を対をなす指数的結合子を使って埋め込む。