Abstract
Effective domain theory is applied to fuzzy logic. The aim is to give suitable notions of semi-decidable and decidable L-subset and to investigate about the effectiveness of the fuzzy deduction apparatus.
Citation
Giangiacomo Gerla. "Effectiveness and multivalued logics." J. Symbolic Logic 71 (1) 137 - 162, March 2006. https://doi.org/10.2178/jsl/1140641166
Information
Published: March 2006
First available in Project Euclid: 22 February 2006
zbMATH: 1106.03018
MathSciNet: MR2210059
Digital Object Identifier: 10.2178/jsl/1140641166
Keywords:
computability
,
domain theory
,
fuzzy logic
,
Multi-valued logic
Rights: Copyright © 2006 Association for Symbolic Logic
