Some applications of model theory to the metatheory of program schemata

Notre Dame Journal of Formal Logic 18 (3):489-495 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888024

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Does Ken Wilber offer a good metatheory?Steven E. Wallis - 2010 - Reading Room.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
toward a science of metatheory.Steven E. Wallis - 2010 - Integral Review 6 (3):73-120.
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.
Saturated model theory.Gerald E. Sacks - 1972 - Reading, Mass.,: W. A. Benjamin.
Program execution in connectionist networks.Martin Roth - 2005 - Mind and Language 20 (4):448-467.
On Applications of Transfer Principles in Model Theory.Juliette Kennedy & Jouko Vaananen - 2007 - In Alessandro Andretta (ed.), On Applications of Transfer Principles in Model Theory. Quaderni di Matematica.
How to change your mind.Joao P. Martins & Maria R. Cravo - 1991 - Noûs 25 (4):537-551.
Tree formulations of tense logic.Jack Copeland - manuscript
Applications of model theory to algebra, analysis, and probability.W. A. J. Luxemburg (ed.) - 1969 - New York,: Holt, Rinehart and Winston.
Updating theories.Sjoerd D. Zwart - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):375-395.
Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
A meta-model for ontologies with ORM.Politecnico di Milano, Christina Tziviskou & C. Maria Keet - unknown
Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.

Analytics

Added to PP
2010-08-24

Downloads
14 (#965,243)

6 months
1 (#1,510,037)

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