Consistency in Categorical Languages for Algebras

Mathematical Logic Quarterly 26 (13):205-207 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800261303

Other Versions

reprint Shafaat, Ahmad (1980) "Consistency in Categorical Languages for Algebras". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26(13):205-207

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,395

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

Categorical languages for algebraic structures.W. S. Hatcher & A. Shafaat - 1975 - Mathematical Logic Quarterly 21 (1):433-438.
Comparing The Expressive Power of Some Languages for Boolean Algebras.Lutz Heindorf - 1981 - Mathematical Logic Quarterly 27 (25‐30):419-434.
The complexity of countable categoricity in finite languages.Aleksander Ivanov - 2012 - Mathematical Logic Quarterly 58 (1-2):105-112.
Yosida Type Representation for Perfect MV‐Algebras.Lawrence P. Belluce & Antonio Di Nola - 1996 - Mathematical Logic Quarterly 42 (1):551-563.
Yosida Type Representation for Perfect MV-Algebras.Lawrence Belluce & Antonio di Nola - 1996 - Mathematical Logic Quarterly 42 (1):551-563.
Geometry of Robinson consistency in Łukasiewicz logic.Manuela Busaniche & Daniele Mundici - 2007 - Annals of Pure and Applied Logic 147 (1):1-22.
Closure Algebras and Boolean Algebras.G. J. Logan - 1976 - Mathematical Logic Quarterly 23 (1‐6):93-96.
The Equational Logic For Graph Algebras.Reinhard Pöschel - 1989 - Mathematical Logic Quarterly 35 (3):273-282.

Analytics

Added to PP
2013-11-24

Downloads
6 (#1,696,031)

6 months
3 (#1,688,967)

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..

Add more references