Seminar za matematičku logiku i osnove matematike

PMF Matematički odsjek
19.06.2018 - 10:00 - 11:30
Na Seminaru za matematičku logiku i osnove matematike, iznimno u utorak
19. lipnja 2018. u 10 sati u predavaonici 105, PMF-MO, Andrej Ščedrov
(University of Pennsylvania) održat će predavanje
Subexponentials in non-commutative linear logic
Sažetak: Linear logical frameworks with subexponentials have been used
for the specification of, among other systems, proof systems, concurrent
programming languages and linear authorisation logics. In these frameworks,
subexponentials can be configured to allow or not for the application of
the contraction and weakening rules while the exchange rule can always be
applied. This means that formulae in such frameworks can only be organised
as sets and multisets of formulae not being possible to organise formulae
as lists of formulae. This paper investigates the proof theory of linear
logic proof systems in the non-commutative variant. These systems can
disallow the application of exchange rule on some subexponentials. We
investigate conditions for when cut elimination is admissible in the
presence of non-commutative subexponentials, investigating the interaction
of the exchange rule with the local and non-local contraction rules. We
also obtain some new undecidability and decidability results on
non-commutative linear logic with subexponentials. This is joint work with
Max Kanovich, Stepan Kuznetsov, and Vivek Nigam.
Predavanje se može pratiti i na
Share this