A Language for Type‐Free Algebra

Mathematical Logic Quarterly 24 (25‐30):385-397 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780242502

Other Versions

reprint Hatcher, William S. (1978) "A Language for Type-Free Algebra". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24(25-30):385-397

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

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

Review: William S. Hatcher, The Logical Foundations of Mathematics; William S. Hatcher, Foundations of Mathematics; William Hatcher's, Logical Foundations of Mathematics. [REVIEW]Frederick W. Kroon - 1986 - Journal of Symbolic Logic 51 (2):467-470.
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.
Prenex Normal Form in the Modal Predicate Logic PS*S and the Grosseteste Algebra of Sets GS*S.Robert L. Wilson - 1974 - Mathematical Logic Quarterly 20 (13‐18):271-280.
William S. Hatcher. The logical foundations of mathematics. Foundations and philosophy of science and technology series. Pergamon Press, Oxford etc. 1982, x + 320 pp. - William S. Hatcher. Foundations of mathematics. W. B. Saunders Company, Philadelphia, London, and Toronto, 1968, xiii + 327 pp. [REVIEW]Frederick W. Kroon - 1986 - Journal of Symbolic Logic 51 (2):467-470.
On the predecessor relation in abstract algebras.Karl-Heinz Diener - 1993 - Mathematical Logic Quarterly 39 (1):492-514.
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.Hernando Gaitán - 1998 - Mathematical Logic Quarterly 44 (4):553-567.
A discrete representation of free MV-algebras.Antonio Di Nola, Revaz Grigolia & Luca Spada - 2010 - Mathematical Logic Quarterly 56 (3):279-288.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Book Review:Foundations of Mathematics William S. Hatcher. [REVIEW]John Corcoran - 1972 - Philosophy of Science 39 (1):88-.

Analytics

Added to PP
2013-11-24

Downloads
21 (#1,012,268)

6 months
6 (#879,768)

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

Foundations of mathematics.William S. Hatcher - 1968 - Philadelphia,: W. B. Saunders Co..
Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.

Add more references