• DOI:10.1007/978-3-540-73001-9_35
Corpus ID: 14486616

Multi-valued Logics, Effectiveness and Domains

@inproceedings{Gerla2007MultivaluedLE,
  title={Multi-valued Logics, Effectiveness and Domains},
  author={Giangiacomo Gerla},
  booktitle={CiE},
  year={2007}
}

• Giangiacomo Gerla
• Published in CiE 2007
• Mathematics, Computer Science

View via Publisher

Save to Library

Create Alert

Cite

Launch Research Feed

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.