Seminars: M. R. Pentus, Lecture 2. Characterization of derivability for $L(\backslash)$

Seminars

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Calendar
	Search
	Add a seminar

	RSS
	Forthcoming seminars

Special course "Complexity of the Lambek calculus"
October 5, 2018 16:45–18:20, Moscow

Lecture 2. Characterization of derivability for $L(\backslash)$

M. R. Pentus

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

*Video records:*
	MP4	1,279.0 Mb

Number of views:
This page:	335
Video files:	55

Photo Gallery

Abstract: An example of a sequent underivable in the Lambek calculus. A necessary condition for derivability in terms of interpretation in the free group. Yury Savateev's criterion for derivability in the Lambek calculus with one division.

Registration to the website

Logotypes