BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260920T141624Z
UID:Seminar-dept-268@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20111025T160000
DTEND:20111025T170000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Barteld Kooi: Many-valued Logic and Modal Logic\n\nEvery three-valued logic can be conservatively translated\n\ninto the modal logic S5 and every four-valued logic can be\n\nconservatively translated into the minimal modal logic M. These are\n\nthe general theorems we set out to prove. After we have established\n\nthis general claim, we give an elegant translation of Priest's Logic\n\nof Paradox LP and Kleene's strong three-valued logic K3. This\n\ntranslation is then used to characterize properties of possible\n\nimplications that could be added to these two three-valued logics.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=268
LOCATION:ALT
END:VEVENT
END:VCALENDAR