RT @toyo_nobu: Studia Logicaから共著論文が出版されました。これまでいろいろな発表で触れてきた、直観主義命題論理と古典命題論理の組み合わせ論理のシークエント計算についての論文です。新しい内容として決定可能性とクレイグ補間定理も示しています。 https…
233 followers
635 followers
RT @toyo_nobu: Studia Logicaから共著論文が出版されました。これまでいろいろな発表で触れてきた、直観主義命題論理と古典命題論理の組み合わせ論理のシークエント計算についての論文です。新しい内容として決定可能性とクレイグ補間定理も示しています。 https…
367 followers
RT @toyo_nobu: Studia Logicaから共著論文が出版されました。これまでいろいろな発表で触れてきた、直観主義命題論理と古典命題論理の組み合わせ論理のシークエント計算についての論文です。新しい内容として決定可能性とクレイグ補間定理も示しています。 https…
960 followers
RT @toyo_nobu: Studia Logicaから共著論文が出版されました。これまでいろいろな発表で触れてきた、直観主義命題論理と古典命題論理の組み合わせ論理のシークエント計算についての論文です。新しい内容として決定可能性とクレイグ補間定理も示しています。 https…