A note on interpretations of many-sorted theories

Journal of Symbolic Logic 50 (2):372-374 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274223

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

Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
First-order theories as many-sorted algebras.V. Manca & A. Salibra - 1984 - Notre Dame Journal of Formal Logic 25 (1):86-94.
How Not to Interpret the Advances of Biotechnology.Giridhari L. Pandit - 2005 - Philosophy in the Contemporary World 12 (1):93-102.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Reasoning about actions and obligations in first-order logic.Gert -Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.
Chasing Chimeras.Wayne C. Myrvold - 2009 - British Journal for the Philosophy of Science 60 (3):635-646.
Creativity, Freedom, and Authority: A New Perspective On the Metaphysics of Mathematics.Julian C. Cole - 2009 - Australasian Journal of Philosophy 87 (4):589-608.
Connecting Many-Sorted Theories.Franz Baader & Silvio Ghilardi - 2007 - Journal of Symbolic Logic 72 (2):535 - 583.

Analytics

Added to PP
2009-01-28

Downloads
41 (#389,432)

6 months
1 (#1,475,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.
Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.
Functoriality of the Schmidt construction.Juan Climent Vidal & Enric Cosme Llópez - 2023 - Logic Journal of the IGPL 31 (5):822-893.

Add more citations

References found in this work

Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.

Add more references