Sciweavers

CIE
2007
Springer

Multi-valued Logics, Effectiveness and Domains

13 years 7 months ago
Multi-valued Logics, Effectiveness and Domains
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machines and fuzzy grammar given in literature is also investigated. This shows the inadequateness of these definitions and the difficulties in formulating an analogue of Church Thesis for fuzzy logic.
Giangiacomo Gerla
Added 13 Aug 2010
Updated 13 Aug 2010
Type Conference
Year 2007
Where CIE
Authors Giangiacomo Gerla
Comments (0)