2024.09.02
https://www.youtube.com/watch?v=GqNXDULoPog
メモ
メモ
やっぱり$ \sf T公理に該当する規則を入れていた
ところで疑問だが
論理$ \Lambdaの定理$ \mathrm{Thm}(\Lambda)と$ \Lambdaにはもともと入っていない適当な公理（例えば$ \sf Tとか）を公理として持ち、モーダスポネンスは持つがネセシテーションは持たない論理って広く研究されているのだろうか？
表記として$ \mathbf{GLS} = \mathrm{Thm}(\mathbf{GL}) + \mathsf{T}のように書くとして
例えば$ \bf S4にこの方法で$ \sf 5を入れたらどうなるんだろう？
思った
「僕たちは夜（night）の中心（core）で、夜を通して踊り続ける」