Seminars: I. B. Shapirovsky, Filtrations of some pretransitive logics

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

Seminars "Proof Theory" and "Logic Online Seminar"
April 22, 2024 18:30, Moscow, online

Filtrations of some pretransitive logics

I. B. Shapirovsky^ab

^a Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow
^b University of New Mexico

*Video records:*
	MP4	1,373.2 Mb
	MP4	871.2 Mb

Number of views:
This page:	73
Video files:	23

Contact us:

Registration to the website

© Steklov Mathematical Institute RAS, 2024