Title	On Depth 1 Frege Systems
Creator	Pudlak, Pavel
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2020-01-21T09:02
Description	Combinatorial characterizations of canonical and interpolation pairs have been found for Frege system for every constant depth. The most interesting case is the canonical pair of Resolution which is equivalent to the interpolation pair of depth 1 Frege system. The first (formulation) is connected with weak automatibility of Resolution, the second with interpolation for the weakest fragment of Frege systems for which we do not have feasible interpolation. We will show several ways how these pairs can be presented and connections with monotone interpolation.
Extent	56.0 minutes
Subject	Mathematics; Computer science; Mathematical logic and foundations; Theoretical computer science
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: Mathematical Institute of the Czech Academy of Sciences
Series	BIRS Workshop Lecture Videos (Banff, Alta)
Date Available	2020-07-20
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0392456
URI	http://hdl.handle.net/2429/75209
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos