2022-04-03から1日間の記事一覧
Jaśkowskiの自然演繹についての概要 自然演繹といえばゲンツェンがシーケント計算と共に考案したことで有名だが、ちょうど同年の1934年にヤスコフスキ(Jaśkowski)も自然演繹についての論文を発表した。 ゲンツェン流とヤスコフスキ流の大きな違いは、ゲンツ…
Jaśkowskiの自然演繹についての概要 自然演繹といえばゲンツェンがシーケント計算と共に考案したことで有名だが、ちょうど同年の1934年にヤスコフスキ(Jaśkowski)も自然演繹についての論文を発表した。 ゲンツェン流とヤスコフスキ流の大きな違いは、ゲンツ…