| Autor: |
Chakraborty, Mihir K., Basu, Sanjukta |
| Zdroj: |
Fundamenta Informaticae; January 1997, Vol. 32 Issue: 3-4 p299-311, 13p |
| Abstrakt: |
The notion of graded consequence and some other metalogical notions like consistency, inconsistency, tautologihood and theoremhood to which grades have been introduced earlier by us are reviewed in the context of generalized operators. Some preliminary results regarding the relation between the notion of graded consequence and the notion of graded inconsistency are proved. The method of axiomatization is reconsidered in this general situation. |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
