Logic Proofs = Ideal inclusions
1991 (English)Report (Other academic)
The two approaches of propositional logic (semantic and proof theoretic) are found to have equivalent formulations in commutative algebra over finite fields. In particular the semantic approach corresponds to an algebro geometric formulation and the proof theoretic corresponds 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 which basically is based on Grobner basis computations.
Place, publisher, year, edition, pages
Linköping: Linköping University , 1991.
LiTH-ISY-I, ISSN 8765-4321 ; 1286
Sematics, Proof theory, Ideal, Algebraic geometry, Variety, Grobner bases
IdentifiersURN: urn:nbn:se:liu:diva-55478OAI: oai:DiVA.org:liu-55478DiVA: diva2:316126