Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. Aguzzoli, S.: The Complexity of McNaughton Functions of One Variable. Adv. Appl. Math. 21, 58–77 (1998)
2. Aguzzoli, S.: Geometric and Proof-Theoretic Issues in Lukasiewicz Propositional Logics. PhD. thesis, University of Siena, Italy, 1998
3. Baaz, M., Veith, H.: Interpolation in fuzzy logic. Arch. Math. Logic 38, 461–489 (1998)
4. Chang, C.C.: Algebraic Analysis of infinite valued logic. Trans. Am. Math Soc 88, 467–490 (1958)
5. Chang, C.C.: A new proof of the completeness of the Łukasiewicz axioms. Trans. Am. Math. Soc. 93, 74–90 (1959)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献