Campus Event Calendar
Event Entry
What and Who
Some existing resolution-based approaches to automated theorem proving in finitely-valued logics.
Viorica Sofronie-Stockermans
Talk
AG 2
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 17 November 97
15:00
60 Minutes
46.1 - MPII
024
Saarbrücken
Abstract
I will start with some generalities on many-valued logics
(and in particular finitely-valued logics). Then I will
present the resolution-based approach to theorem proving for
finite-valued logics due to Baaz and Fermueller and the
methods developed by Haehnle.
(and in particular finitely-valued logics). Then I will
present the resolution-based approach to theorem proving for
finite-valued logics due to Baaz and Fermueller and the
methods developed by Haehnle.
Contact
--email hidden
passcode not visible
logged in users only