cut_elimination https://blog.hatena.ne.jp/cut_elimination/ 曇りなき眼で見定めブログ https://cut-elimination.hatenablog.com/ 線形論理（ジラール） 続きといえば↓これの続き。 cut-elimination.hatenablog.com 豊岡さんが型なし証明論と並べてもうひとつ挙げていた論文がAndreoli "Logic Programming with Focusing Proofs in Linear Logic"という論文。線形論理の世界では超有名な論文だが初めてちゃんと読んだ。 これはタイトルのとおり線形論理を論理プログラミングに応用することを狙ったもので哲学論文ではない*1。なのだけれども、ここで導入された焦点化(focusing)の概念は証明の分析として斬新なもので、証明論的意味論への応用も期待できる。 線形論理には乗法的演… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcut-elimination.hatenablog.com%2Fentry%2F2025%2F02%2F14%2F222035" title="焦点化した証明と極性の謎（線形論理など） - 曇りなき眼で見定めブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-02-14 22:20:35 rich https://cut-elimination.hatenablog.com/entry/2025/02/14/222035 1.0 100%