A Language for Type-Free Algebra

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

λ-Definability on free algebras.Marek Zaionc - 1991 - Annals of Pure and Applied Logic 51 (3):279-300.
A Language for Type‐Free Algebra.William S. Hatcher - 1978 - Mathematical Logic Quarterly 24 (25‐30):385-397.
Type-Decomposition of a Synaptic Algebra.David J. Foulis & Sylvia Pulmannová - 2013 - Foundations of Physics 43 (8):948-968.
A type free theory and collective/distributive predication.Fairouz Kamareddine - 1995 - Journal of Logic, Language and Information 4 (2):85-109.
A Characterization of the free n-generated MV-algebra.Daniele Mundici - 2006 - Archive for Mathematical Logic 45 (2):239-247.
On the semantics for the language MLν based on a type system, and those for the type-free language ML∞.Aldo Bressan - 1974 - Journal of Philosophical Logic 3 (3):171 - 194.
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.Hernando Gaitán - 1998 - Mathematical Logic Quarterly 44 (4):553-567.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Free nilpotent minimum algebras.Manuela Busaniche - 2006 - Mathematical Logic Quarterly 52 (3):219-236.
A discrete representation of free MV-algebras.Antonio Di Nola, Revaz Grigolia & Luca Spada - 2010 - Mathematical Logic Quarterly 56 (3):279-288.
Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.
The history of algebra and the development of the form of its language.Ladislav Kvasz - 2006 - Philosophia Mathematica 14 (3):287-317.
On łukasiewicz-moisil algebras of fuzzy sets.Sergiu Rudeanu - 1993 - Studia Logica 52 (1):95 - 111.
On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
On the predecessor relation in abstract algebras.Karl-Heinz Diener - 1993 - Mathematical Logic Quarterly 39 (1):492-514.

Analytics

Added to PP
2016-02-04

Downloads
33 (#488,557)

6 months
5 (#649,106)

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.
Foundations of Mathematics.William S. Hatcher - 1972 - Philosophy of Science 39 (1):88-90.

Add more references