On lengths of proofs in non-classical logics

Number of the records: 1

1.

SYSNO ASEP	0337052
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	On lengths of proofs in non-classical logics
Title	O délkách důkazů v neklasických logikách
Author(s)	Hrubeš, Pavel (MU-W)_{RID, SAI, ORCID}
Source Title	Annals of Pure and Applied Logic. - : Elsevier - ISSN 0168-0072 Roč. 157, 2-3 (2009), s. 194-205
Number of pages	12 s.
Language	eng - English
Country	NL - Netherlands
Keywords	length of proof ; propositional logic ; modal logic ; intuitionistic logic
Subject RIV	BA - General Mathematics
CEZ	AV0Z10190503 - MU-W (2005-2011)
UT WOS	000264386500012
DOI	10.1016/j.apal.2008.09.013
Annotation	We give proofs of the effective monotone interpolation property for the system of modal logic K. and others, and the system IL of intuitionistic propositional logic. Hence we obtain exponential lower bounds on the number of proof-lines in those systems.
Workplace	Mathematical Institute
Contact	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Year of Publishing	2010

Number of the records: 1