Seminars: M. R. Pentus, Lecture 1. The Lambek calculus

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"
September 21, 2018 16:45–18:20, Moscow

Lecture 1. The Lambek calculus

M. R. Pentus

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

*Supplementary materials:*
	Adobe PDF	163.6 Kb

Number of views:
This page:	160
Materials:	48

Abstract: An example of a Lambek grammar. The Lambek sequent calculus. The cut-elimination theorem (without proof). The Lambek calculus in the non-sequent form. The equivalence of the two calculi.

Supplementary materials:

skcomplk189.pdf (163.6 Kb)

Registration to the website

Logotypes