You are not logged in |
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.
