On the free implicative semilattice extension of a Hilbert algebra

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
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.
n -fold filters in BL-algebras.Masoud Haveshki & Esfandiar Eslami - 2008 - Mathematical Logic Quarterly 54 (2):176-186.
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 Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.
Some results in BL ‐algebras.Arsham Borumand Saeid & Somayeh Motamed - 2009 - Mathematical Logic Quarterly 55 (6):649-658.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
On (∈, ∈ ∨ q)‐fuzzy filters of R0‐algebras.Xueling Ma, Jianming Zhan & Young B. Jun - 2009 - Mathematical Logic Quarterly 55 (5):493-508.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
Dividing in the algebra of compact operators.Alexander Berenstein - 2004 - Journal of Symbolic Logic 69 (3):817-829.
A characterization of MV-algebras free over finite distributive lattices.Vincenzo Marra - 2008 - Archive for Mathematical Logic 47 (3):263-276.
Subquasivarieties of implicative locally-finite quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.
Radical of filters in BL -algebras.Somayeh Motamed, Lida Torkzadeh, Arsham Borumand Saeid & Neda Mohtashamnia - 2011 - Mathematical Logic Quarterly 57 (2):166-179.

Analytics

Added to PP
2013-12-01

Downloads
3 (#1,650,745)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references