ロジックを勉強していたら誰もが(?)出くわす束縛変数の名前の付け替えのやつをまとめたいのよ。 以下のことを書いていて気づいたのだが、"Basic Proof Theory*1"(以下:BPT)には式 expressions や論理式 formulas の定義がない。subformulas の定義はある…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。