On the free implicative semilattice extension of a Hilbert algebra

Mathematical Logic Quarterly 58 (3):188-207 (2012)
  Copy   BIBTEX

Abstract

Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as a simplified characterization of it. The optimal deductive filters turn out to be the traces in the Hilbert algebra of the prime filters of the distributive lattice free extension of the free implicative semilattice extension of the Hilbert algebra. To define the concept of optimal deductive filter we need to introduce the concept of a strong Frink ideal for Hilbert algebras which generalizes the concept of a Frink ideal for posets

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
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.
On (∈, ∈ ∨ q)‐fuzzy filters of R0‐algebras.Xueling Ma, Jianming Zhan & Young B. Jun - 2009 - Mathematical Logic Quarterly 55 (5):493-508.
On Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.
Quantum MV algebras.Roberto Giuntini - 1996 - Studia Logica 56 (3):393 - 417.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.

Analytics

Added to PP
2013-12-01

Downloads
29 (#474,441)

6 months
7 (#175,814)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Fragments of quasi-Nelson: residuation.U. Rivieccio - 2023 - Journal of Applied Non-Classical Logics 33 (1):52-119.

Add more citations

References found in this work

Implicative Semi-Lattices.William C. Nemitz - 1966 - Journal of Symbolic Logic 31 (2):273-273.

Add more references