The logic ∃Ł of continuous piecewise linear functions with rational coefficients has enough expressive power to formalize Weierstrass approximation theorem. Thus, up to any, prescribed error, every continuous (control) function can be approximated by a formula of ∃Ł. As shown in this paper, ∃Ł is just infinite-valued ∃Łukasiewicz propositional logic with one quantified propositional variable. We evaluate the computational complexity of the decision problem for ∃Ł. Enough background material is provided for all readers wishing to acquire a deeper understanding of the rapidly growing literature on Łukasiewicz propositional logic and its applications.

WEIERSTRASS APPROXIMATIONS BY ŁUKASIEWICZ FORMULAS WITH ONE QUANTIFIED VARIABLE / D. MUNDICI; S. AGUZZOLI. - STAMPA. - (2001), pp. 361-366. (Intervento presentato al convegno PROC. 31ST IEEE INT.SYMP. ON MULTIPLE VALUED LOGIC, ISMVL tenutosi a WARSAW, POLAND) [10.1109/ISMVL.2001.924596].

WEIERSTRASS APPROXIMATIONS BY ŁUKASIEWICZ FORMULAS WITH ONE QUANTIFIED VARIABLE

MUNDICI, DANIELE;
2001

Abstract

The logic ∃Ł of continuous piecewise linear functions with rational coefficients has enough expressive power to formalize Weierstrass approximation theorem. Thus, up to any, prescribed error, every continuous (control) function can be approximated by a formula of ∃Ł. As shown in this paper, ∃Ł is just infinite-valued ∃Łukasiewicz propositional logic with one quantified propositional variable. We evaluate the computational complexity of the decision problem for ∃Ł. Enough background material is provided for all readers wishing to acquire a deeper understanding of the rapidly growing literature on Łukasiewicz propositional logic and its applications.
2001
Proceedings of The International Symposium on Multiple-Valued Logic
PROC. 31ST IEEE INT.SYMP. ON MULTIPLE VALUED LOGIC, ISMVL
WARSAW, POLAND
D. MUNDICI; S. AGUZZOLI
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/3453
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 5
social impact