A logic framework with algebraic extension
- Publication Type:
- Conference Proceeding
- Citation:
- Proceedings of the International Conference on Information Technology Interfaces, ITI, 2003, pp. 633 - 638
- Issue Date:
- 2003-01-01
Closed Access
Filename | Description | Size | |||
---|---|---|---|---|---|
2003001845.pdf | 391.77 kB |
Copyright Clearance Process
- Recently Added
- In Progress
- Closed Access
This item is closed access and not available.
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: