A solution to identities problem in 2-element HSI-algebras

Mathematical Logic Quarterly 50 (2):175 (2004)
  Copy   BIBTEX

Abstract

All arithmetical identities involving 1, addition, multiplication and exponentiation are valid in every 2-element HSI-algebra

Categories

Keywords

Reprint years

DOI

10.1002/malq.200310087

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,856

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

Arithmetical Identities in a 2‐element Model of Tarski's System.Gurgen Asatryan - 2002 - Mathematical Logic Quarterly 48 (2):277-282.
On models of exponentiation. Identities in the HSI-algebra of posets.Gurgen Asatryan - 2008 - Mathematical Logic Quarterly 54 (3):280-287.
Arithmetical Identities in a 2-element Model of Tarski's System.Gurgen Asatryan - 2002 - Mathematical Logic Quarterly 48 (2):277-282.
Arithmetical algorithms for elementary patterns.Samuel A. Alexander - 2015 - Archive for Mathematical Logic 54 (1-2):113-132.
Lower level connections between representations of relation algebras.György Serény - 1986 - Bulletin of the Section of Logic 15 (3):123-125.
Ordinal Exponentiations of Sets.Laurence Kirby - 2015 - Notre Dame Journal of Formal Logic 56 (3):449-462.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Cyclic Elements in MV‐Algebras and Post Algebras.Antoni Torrens - 1994 - Mathematical Logic Quarterly 40 (4):431-444.
Operating on the universe.Narciso Garcia - 1988 - Archive for Mathematical Logic 27 (1):61-68.
Weak essentially undecidable theories of concatenation, part II.Juvenal Murwanashyaka - 2024 - Archive for Mathematical Logic 63 (3):353-390.

Analytics

Added to PP
2013-12-01

Downloads
16 (#1,288,481)

6 months
1 (#1,611,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references