Campus Event Calendar
Event Entry
What and Who
Cut-free Display Calculi for Relation Algebras
Rajeev Gore'
Australian National University
Logikseminar des DFKI, FBI und MP
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 31 May 96
13:45
60 Minutes
46.1 - MPII
019
Saarbrücken
Abstract
We give a propositional cut-free Gentzen-like calculus for
relation algebras using Belnap's Display Logic. The calculus
extends trivially to cater for a large class of axiomatic
extensions of relation algebras where the axioms appear as
purely structural rules. The calculus incorporates features of
Relevant Display Logics and Modal Display Logics, highlighting
the relationship between relation algebras and substructural
logics.
relation algebras using Belnap's Display Logic. The calculus
extends trivially to cater for a large class of axiomatic
extensions of relation algebras where the axioms appear as
purely structural rules. The calculus incorporates features of
Relevant Display Logics and Modal Display Logics, highlighting
the relationship between relation algebras and substructural
logics.
Contact
--email hidden
passcode not visible
logged in users only