Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Seminars "Proof Theory" and "Logic Online Seminar"
February 14, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
 


Substructural Logics of Programs

Igor Sedlár

Czech Academy of Sciences, Institute of Computer Science
Video records:
MP4 321.8 Mb

Number of views:
This page:158
Video files:24



Abstract: Substructural logics seem to provide a natural framework formalizing reasoning about programs, as witnessed by R-models of the Lambek calculus, for instance. Indeed, Pratt's action algebras are expansions of residuated idempotent semirings, structures naturally arising in algebraic semantics for substructural logics. Kozen and Tiuryn have introduced a substructural logic tailored to formalize reasoning about correctness of programs (Substructural Logic and Partial Correctness, ACM Trans. Comput. Logic, 2003), sound and complete with respect to a semantics based on binary relations. In this talk, we prove that Kozen and Tiuryn's logic embeds into an expansion of *-continuous action algebras with a pair of adjoint test-like operators.

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024