Multi-valued Logics, Effectiveness and Domains

@inproceedings{Gerla2007MultivaluedLE,
  title={Multi-valued Logics, Effectiveness and Domains},
  author={Giangiacomo Gerla},
  booktitle={CiE},
  year={2007}
}
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. 
3 Citations
Comments on some theories of fuzzy computation
  • 4
Automata theory based on complete residuated lattice-valued logic: Turing machines
  • 14
On Fuzzy Turing Machines

References

SHOWING 1-10 OF 24 REFERENCES
Effectiveness and multivalued logics
  • 37
Fuzzy logic, continuity and effectiveness
  • 70
  • PDF
Three Complexity Problems in Quantified Fuzzy Logic
  • F. Montagna
  • Mathematics, Computer Science
  • Stud Logica
  • 2001
  • 37
Metamathematics of Fuzzy Logic
  • P. Hájek
  • Computer Science, Mathematics
  • Trends in Logic
  • 1998
  • 3,542
Algebraic Foundations of Many-Valued Reasoning
  • 1,006
Decidability, partial decidability and sharpness relation for L-subsets
  • 8
Mathematical Principles of Fuzzy Logic
  • 641
Fuzzy Turing Machines Revised
  • 24
Note on fuzzy languages
  • 335
  • PDF
Effectively given Domains
  • M. Smyth
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1977
  • 161
...
1
2
3
...