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:
Filename Description Size
Thumbnail2003001845.pdf391.77 kB
Adobe PDF
Full metadata record
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: