18/08/26 17:38:15.13 Txkk+txV.net
>>328
ノロキバはむこういくんかな？
>>331
様相論理ってのも、数学的な論理なんでしょ。数学的演算によって
書き表せる論理ならば、やはり形式論理なのではあるまいか？
まあアンババやノロキバの論理というのは、典型的な二項関係に
基づいた論理に見えるけれどもねえ。
18/08/26 17:38:15.13 Txkk+txV.net
>>328
ノロキバはむこういくんかな？
>>331
様相論理ってのも、数学的な論理なんでしょ。数学的演算によって
書き表せる論理ならば、やはり形式論理なのではあるまいか？
まあアンババやノロキバの論理というのは、典型的な二項関係に
基づいた論理に見えるけれどもねえ。