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.

• Type: Conference
• Year: 2007
• Where: CIE
• Authors: Giangiacomo Gerla
• Keywords: Applied Computing, CIE 2007, Fuzzy Grammar, Fuzzy Logic, Fuzzy Turing Machines