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

Seminarium badawcze Zakładu Logiki: Wnioskowania aproksymacyjne w eksploracji danych

---

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.

---