Graded Consequence and Some Metalogical Notions Generalized
Mihir K. Chakraborty, Sanjukta Basu · Fundamenta Informaticae · 1997
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.