AN INTRODUCTION TO THE THEORY OF GRADRD CONSEQUENCE

Speaker(s)

Mihir K. Chakraborty

Affiliation

Kolkata University and Indian Statistical Institute

Date

Aug. 2, 2013, 2:15 p.m.

Room

room 5820

Seminar

Research Seminar of the Logic Group: Approximate reasoning in data mining

---

The objective of this theory is to introduce grade (degree) to the metalogical notions,  e.g., consistency, consequence, tautologihood, etc. In other words the metalogic is considered many-valued. Axiom systems and sequent calculi like proof theory will be presented and a comparison with rough consequence will be made and possible applications will be indicated.

---