Weierstrass Approximation Theorem and Łukasiewicz Formulas with one Quantified Variable-Reference-Cited by-同舟云学术

Weierstrass Approximation Theorem and Łukasiewicz Formulas with one Quantified Variable

Published:2003 Issue: Volume: Page:315-335
ISSN:1434-9922
Container-title:Beyond Two: Theory and Applications of Multiple-Valued Logic
language:
Short-container-title:

Author:

Aguzzoli Stefano,Mundici Daniele

Publisher

Physica-Verlag HD

Link

http://link.springer.com/content/pdf/10.1007/978-3-7908-1769-0_14

Reference37 articles.

1. Aguzzoli, S.: The complexity of McNaughton functions of one variable, Advances in Applied Mathematics, 21 (1998) 58–77

2. Aguzzoli, S., Ciabattoni, A.: Finiteness in infinite-valued Lukasiewicz logic. Journal of Logic, Language and Information. Special issue on Logics of Uncertainty Mundici, D. (Ed.), 9 (2000) 5–29

3. Aguzzoli, S., Mundici, D.: An algorithmic desingularization of 3—dimensional toric varieties. Tôhoku Mathematical Journal, 46 (1994) 557–572

4. Amato, P., Porto, M.: An algorithm for the automatic generation of a logical formula representing a control law. Neural Network World, 10 (2000) 777–786

5. Baaz, M., Veith, H.: Interpolation in fuzzy logic. Archive for Mathematical Logic, 38 (1999) 461–489

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability;Mathematical Structures in Computer Science;2022-05-17

2. Łukasiewicz Games;ACM Transactions on Computational Logic;2015-11-19

3. Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic;Lecture Notes in Computer Science;2007

4. Łukasiewicz Logic and Chang’s MV Algebras in Action;Trends in Logic;2003