首页   按字顺浏览 期刊浏览 卷期浏览 LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPER...
LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR

 

作者: Andrea Cantini,  

 

期刊: Mathematical Logic Quarterly  （WILEY Available online 1992）
卷期: Volume 38, issue 1  

页码: 107-141

 

ISSN:0942-5616

 

年代: 1992

 

DOI:10.1002/malq.19920380109

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

关键词: Partial classifications;Frege structures;Levels of implication;Type free theory of operations;Myhill‐Flagg hierarchy;Untyped comprehension principle

 

数据来源: WILEY

 

摘要:

AbstractWe investigate a theory of Frege structures extended by the Myhill‐Flagg hierarchy of implications. We study its relation to a property theory with an approximation operator and we give a proof theoretical analysis of the basic system involved. MSC: 03F35, 03D6

 

点击下载:  PDF (1680KB)



返 回