Logic Proofs: Through Ideal Inclusions
1991 (English)Report (Other academic)
The two approaches of propositional logic (semantic and proof theoretic) are found to have equivelent formulations in commutative algebra over finite fields. In particular the semantic approach correspond to an algebro geometric formulation and the proof theoretic correspond to an ideal theoretic framework. Based on this correspondence a new completeness proof is given. An implementation of this proof system in Mathematica is also given.
Place, publisher, year, edition, pages
Linköping: Linköping University , 1991.
LiTH-ISY-I, ISSN 8765-4321 ; 1260
Sematics, Proof theory, Ideal, Algebraic geometry, Variety, Gröbner bases
IdentifiersURN: urn:nbn:se:liu:diva-55469OAI: oai:DiVA.org:liu-55469DiVA: diva2:316134