結局行くことが出来なかった若手による数理論理研究集会2023に証明可能性論理D(森岡 蒼; "証明可能性論理Dのモデルの拡張")についての発表があったが調べても出てこないためどういうものなのかさっぱりわからない
多分これなのだろうけどJaparidzeがDzhaparidzeともスペリングされるのでわけがわからないことになっている
https://scrapbox.io/sno2wman/可証性論理D
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
多分これなのだろうけどJaparidzeがDzhaparidzeともスペリングされるのでわけがわからないことになっている
https://scrapbox.io/sno2wman/可証性論理D