首页   按字顺浏览 期刊浏览 卷期浏览 On Special Implicative Filters
On Special Implicative Filters

 

作者: Josep Maria Font,  

 

期刊: Mathematical Logic Quarterly  (WILEY Available online 1999)
卷期: Volume 45, issue 1  

页码: 117-126

 

ISSN:0942-5616

 

年代: 1999

 

DOI:10.1002/malq.19990450111

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

关键词: Implicative algebra;Implicative filter;Relative congruence;Algebraizable logic

 

数据来源: WILEY

 

摘要:

AbstractIn her well‐known book, Rasiowa states without proof that in implicative algebras there is a one‐to‐one correspondence between kernels of epimorphisms and the so‐called special implicative filters, and that in the logic whose algebraic counterpart is the class of implicative algebras the deductive filters coincide with the special implicative filters. We show that neither claim is true, and how to repair the situation by redefining some of the notions involved. We answer other questions concerning special implicative filters, taking the theory of algebraizable logics of Blok and Pigozzi as a framework to approach the question in a systema

 

点击下载:  PDF (630KB)



返 回