کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6424848 | 1633492 | 2011 | 13 صفحه PDF | دانلود رایگان |

We classify every finitely axiomatizable theory in infinite-valued propositional Åukasiewicz logic by an abstract simplicial complex (V,Σ) equipped with a weight function Ï:Vâ{1,2,â¦}. Using the WÅodarczyk-Morelli solution of the weak Oda conjecture for toric varieties, we then construct a Turing computable one-one correspondence between (Alexander) equivalence classes of weighted abstract simplicial complexes, and equivalence classes of finitely axiomatizable theories, two theories being equivalent if their Lindenbaum algebras are isomorphic. We discuss the relationship between our classification and Markov's undecidability theorem for PL-homeomorphism of rational polyhedra.
⺠Finitely axiomatizable Åukasiewicz theories are classified by rational polyhedra. ⺠Rational polyhedra are classified by weighted abstract simplicial complexes. ⺠Regular triangulations of rational polyhedra correspond to nonsingular fans.
Journal: Annals of Pure and Applied Logic - Volume 162, Issue 12, December 2011, Pages 1035-1047