AN INTRODUCTION TO THE THEORY OF GRADRD CONSEQUENCE

Prelegent(ci)

Mihir K. Chakraborty

Afiliacja

Kolkata University and Indian Statistical Institute

Termin

2 sierpnia 2013 14:15

Pokój

p. 5820

Seminarium

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.

---