首页   按字顺浏览 期刊浏览 卷期浏览 A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuition...
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus

 

作者: Jordi Rebagliato,   Ventura Verdú,  

 

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

页码: 61-68

 

ISSN:0942-5616

 

年代: 1994

 

DOI:10.1002/malq.19940400109

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

关键词: Hubert‐style axiomatization;Implications‐less fragment;Intuitionistic propositional calculus;Structural closure operator

 

数据来源: WILEY

 

摘要:

AbstractIn this paper we obtain a finite Hilbert‐style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}‐formulas containing this fragment.Mathematics Subject Classification:03B20, 03B22,

 

点击下载:  PDF (373KB)



返 回