First-order theories as many-sorted algebras

&
Notre Dame Journal of Formal Logic 25 (1):86-94 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870521

Links

PhilArchive



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

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

Many-sorted elementary equivalence.Daniel Dzierzgowski - 1988 - Notre Dame Journal of Formal Logic 29 (4):530-542.
On two first order type theories for the theory of sets.Fred Coppotelli - 1977 - Notre Dame Journal of Formal Logic 18 (1):147-150.
Equational two axiom bases for Boolean algebras and some other lattice theories.Bolesław Sobociński - 1979 - Notre Dame Journal of Formal Logic 20 (4):865-875.
A simple algebra of first order logic.Charles C. Pinter - 1973 - Notre Dame Journal of Formal Logic 14 (3):361-366.
On the logic of continuous algebras.Jiří Adámek, Alan H. Mekler, Evelyn Nelson & Jan Reiterman - 1988 - Notre Dame Journal of Formal Logic 29 (3):365-380.
Dedekind algebras.G. Weaver - forthcoming - Notre Dame Journal of Formal Logic.
Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing IΔ0+exp.Domenico Zambella - 1994 - Notre Dame Journal of Formal Logic 35 (1):147-157.
A note about connection of the first-order functional calculus with many-valued propositional calculi.Juliusz Reichbach - 1964 - Notre Dame Journal of Formal Logic 5 (2):158-160.
Free S5 algebras.Alfred Horn - 1978 - Notre Dame Journal of Formal Logic 19:189.
Second-order quantifiers and the complexity of theories.J. T. Baldwin & S. Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (3):229-303.

Analytics

Added to PP
2010-08-24

Downloads
16 (#227,957)

6 months
4 (#1,635,958)

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

No references found.

Add more references