On The Role of The Polynomial (X → Y) → Y in Some Implicative Algebras

Mathematical Logic Quarterly 34 (2):117-122 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340205

Links

PhilArchive



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

External links

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

Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
On the definability of join by means of polynomials in implicative algebras.Antoni Torrens - 1985 - Bulletin of the Section of Logic 14 (4):158-162.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
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.
On (∈, ∈ ∨ q)‐fuzzy filters of R0‐algebras.Xueling Ma, Jianming Zhan & Young B. Jun - 2009 - Mathematical Logic Quarterly 55 (5):493-508.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
An Intriguing Logic with Two Implicational Connectives.Lloyd Humberstone - 2000 - Notre Dame Journal of Formal Logic 41 (1):1-40.
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.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
On Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.
Wajsberg algebras and post algebras.Antonio Jesús Rodríguez & Antoni Torrens - 1994 - Studia Logica 53 (1):1 - 19.
W-algebras which are Boolean products of members of SR[1] and CW-algebras.Antoni Torrens - 1987 - Studia Logica 46 (3):265 - 274.

Analytics

Added to PP
2013-12-01

Downloads
17 (#819,600)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.

Add more references