Nie jesteś zalogowany |
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
- 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.
