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.