Lambda‐Algebras and C‐Monoids

&
Mathematical Logic Quarterly 32 (25-30):415-430 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860322507

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Lambda‐Algebras and C‐Monoids.W. S. Hatcher & P. J. Scott - 1986 - Mathematical Logic Quarterly 32 (25‐30):415-430.
Pairings on Lambda Algebras.W. S. Hatcher & Marcel Tonga - 1991 - Mathematical Logic Quarterly 37 (19‐22):343-352.
Pairings on Lambda Algebras.W. S. Hatcher & Marcel Tonga - 1991 - Mathematical Logic Quarterly 37 (19-22):343-352.
Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain).J. P. Cleave - 1976 - Mathematical Logic Quarterly 22 (1):481-500.
Partition Relations for Strongly Normal Ideals on P~k~a~p~p~a(Lambda).P. Matet - 2000 - Mathematical Logic Quarterly 46 (1):87-104.
G. gierz, K. H. Hofmann, K. keimel, J. D. Lawson, M. W. mislove and D. S. Scott, continuous lattices and domains.Ulrich Berger - 2007 - Studia Logica 86 (1):137-138.
On Pretabular Extensions of Relevance Logic.Asadollah Fallahi & James Gordon Raftery - forthcoming - Studia Logica:1-19.
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics.Juan Manuel Cornejo, Hernn Javier San Martín & Valeria Sígal - forthcoming - Studia Logica:1-31.
Review: Dana Scott, M. P. Fourman, C. J. Mulvey, D. S. Scott, Identity and Existence in Intuitionistic Logic. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
On involutive FLe-monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.

Analytics

Added to PP
2015-12-02

Downloads
34 (#458,799)

6 months
9 (#436,631)

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

Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.
Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.

Add more references