A Logic Framework with Algebraic Extension

SRCE University Computing Centre,
Publication Type:
Conference Proceeding
Proceedings of the 25th International Conference on Information Technology Interfaces, 2003, pp. 633 - 638
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2003001845.pdf391.77 kB
Adobe PDF
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.
Please use this identifier to cite or link to this item: