A logic framework with algebraic extension
- Publication Type:
- Conference Proceeding
- Proceedings of the International Conference on Information Technology Interfaces, ITI, 2003, pp. 633 - 638
- Issue Date:
We propose a many-sorted general framework to incorporate algebraic computation with logical reasoning, which equally encompasses following systems as special cases: lattice-valued fuzzy logic, operator fuzzy logic, operator fuzzy logic for belief, operator fuzzy logic for argumentation, fuzzy logic, probabilistic logic, annotated logic, language of signed formulas, autoepistemic logic. © 2003 SRCE University Computing Centre.
Please use this identifier to cite or link to this item: