A decision method for a set of first order classical formulas and its application to decision problems for non-classical propositional logics(Foundational Study and Its Applications)
スポンサーリンク
概要
著者
関連論文
- 証明論の教科書の中で超準解析を書くとすると (ブール代数値の解析学と超準解析)
- 論理教育試論 : カントールの定理を巡って
- 等値命題について
- A decision method for a set of first order classical formulas and its application to decision problems for non-classical propositional logics(Foundational Study and Its Applications)
- Skolem-Mincの定理の一般化について (Boole代数値の解析学と超準解析)
- 一意性条件の存在条件による近似理論 (数学基礎論)
- 真概念の数学的定義とモデルの理論