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"
November 9, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
 


Language-theoretic models for the Full Lambek calculus

Christian Wurm

Heinrich-Heine-Universität Düsseldorf
Video records:
MP4 242.4 Mb

Number of views:
This page:389
Video files:28
Youtube:

Christian Wurm



Abstract: I want to present some models for the Full Lambek calculus (and its well-known fragments), which are based on formal languages. L-models itself are of course excluded because of their distributive laws. I rather present models based on closure operators, which in turn are based on a Galois connection and formal concept analysis over formal languages. These models turn out to have some interesting properties and applications for linguistics and formal learning theory. I also present a related semantics based on automata. Finally, I want to approach the question: what is the meaning of certain distributive laws in a language-theoretic setting, and in which cases can we get rid of closure operations, thereby returning to canonical L-models and/or relation models? To these I can partly answer, partly I still cannot.

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