最近、論文はつまみ食いばかりで一本丸々読みきる時間がなく、ご無沙汰しておりました。徐々にまた紹介記事を書いていきたいと思います。 Studia Logica誌の online first 論文、こちらから入手可能。数学的に興味深いというよりは、矛盾許容論理上で包括原…

比較的暖かい日。出勤してプレゼン準備の続き、他に飛び込みの用事色々。帰宅して夕食、マグロトロロ丼。