On Special Implicative Filters
Mathematical Logic Quarterly 45 (1):117-126 (1999)
Abstract
In 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 systematic wayDOI
10.1002/malq.19990450111
My notes
Similar books and articles
On (∈, ∈ ∨ q)‐fuzzy filters of R0‐algebras.Xueling Ma, Jianming Zhan & Young B. Jun - 2009 - Mathematical Logic Quarterly 55 (5):493-508.
n -fold filters in BL-algebras.Masoud Haveshki & Esfandiar Eslami - 2008 - Mathematical Logic Quarterly 54 (2):176-186.
Some results in BL ‐algebras.Arsham Borumand Saeid & Somayeh Motamed - 2009 - Mathematical Logic Quarterly 55 (6):649-658.
Radical of filters in BL -algebras.Somayeh Motamed, Lida Torkzadeh, Arsham Borumand Saeid & Neda Mohtashamnia - 2011 - Mathematical Logic Quarterly 57 (2):166-179.
Positive implicative bck-algebras with con-dition (s) and implicative semilattices.Janis Cırulis - 1999 - Bulletin of the Section of Logic 28 (3):131-133.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Subquasivarieties of implicative locally-finite quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.
Logics with disjunction and proof by cases.San-min Wang & Petr Cintula - 2008 - Archive for Mathematical Logic 47 (5):435-446.
On weakening the Deduction Theorem and strengthening Modus Ponens.Félix Bou, Josep Maria Font & José Luis García Lapresta - 2004 - Mathematical Logic Quarterly 50 (3):303-324.
Review: Arthur H. Copeland, Frank Harary, The Extension of an Arbitrary Boolean Algebra to an Implicative Boolean Algebra. [REVIEW]K. E. Aubert - 1959 - Journal of Symbolic Logic 24 (3):254-254.
On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramón Jansana Ferrer - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
Analytics
Added to PP
2013-12-01
Downloads
15 (#701,125)
6 months
1 (#455,463)
2013-12-01
Downloads
15 (#701,125)
6 months
1 (#455,463)
Historical graph of downloads
Citations of this work
Beyond Rasiowa's Algebraic Approach to Non-classical Logics.Josep Maria Font - 2006 - Studia Logica 82 (2):179-209.
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.
References found in this work
An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Amsterdam, Netherlands: Warszawa, Pwn - Polish Scientific Publishers.
Sur les Algèbres de Hilbert.Antonio Diego, Jean Porte & Luisa Iturrioz - 1970 - Journal of Symbolic Logic 35 (1):139-139.