Wang Hao. Logic of many-sorted theories

Journal of Symbolic Logic 18 (1):77-77 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266347

Links

PhilArchive



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

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: Hao Wang, Logic of Many-Sorted Theories. [REVIEW]Arnold Schmidt - 1953 - Journal of Symbolic Logic 18 (1):77-77.
Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
Review: P. C. Gilmore, An Addition to "Logic of Many-Sorted Theories.". [REVIEW]H. Arnold Schmidt - 1967 - Journal of Symbolic Logic 32 (4):521-521.
Elimination of quantifiers over vectors in some theories of vector spaces.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):575-577.
Many-Sorted Predicate Calculi.Hao Wang - 1963 - Journal of Symbolic Logic 28 (3):250-250.
Quine’s conjecture on many-sorted logic.Thomas William Barrett & Hans Halvorson - 2017 - Synthese 194 (9):3563-3582.
Review: Hao Wang, Many-Sorted Predicate Calculi. [REVIEW]Steven Ore - 1963 - Journal of Symbolic Logic 28 (3):250-250.
Connecting Many-Sorted Theories.Franz Baader & Silvio Ghilardi - 2007 - Journal of Symbolic Logic 72 (2):535 - 583.
Aristotle's Many-sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Review: Nicholas Rescher, Many-Sorted Quantification. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):123-124.
A note on interpretations of many-sorted theories.Julian L. Hook - 1985 - Journal of Symbolic Logic 50 (2):372-374.
On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories.Juan Vidal & Juan Tur - 2006 - Reports on Mathematical Logic:127-158.
First-order theories as many-sorted algebras.V. Manca & A. Salibra - 1984 - Notre Dame Journal of Formal Logic 25 (1):86-94.
Extending Metacompleteness to Systems with Classical Formulae.Ross T. Brady - 2011 - Australasian Journal of Logic 8:9-30.

Analytics

Added to PP
2016-06-30

Downloads
16 (#908,545)

6 months
2 (#1,202,487)

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