On the programs-as-formulas interpretation of parallel programs in peano arithmetic

&
Annals of Pure and Applied Logic 37 (2):111-127 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(88)90024-3

Links

PhilArchive



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

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

Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics.Balázs Biró & Ildikó Sain - 1993 - Annals of Pure and Applied Logic 63 (3):201-225.
On the complexity of models of arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
Ethics programs and their dimensions.Steven N. Brenner - 1992 - Journal of Business Ethics 11 (5-6):391-399.
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic.Franco Montagna - 1980 - Studia Logica 39 (4):347 - 354.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
Definable sets and expansions of models of Peano arithmetic.Roman Murawski - 1988 - Archive for Mathematical Logic 27 (1):21-33.
Machine learning of higher-order programs.Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj - 1994 - Journal of Symbolic Logic 59 (2):486-500.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Programs and logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.
Ethics in Corporations.Joakim Sandberg - 2012 - In Ruth Chadwick (ed.), Encyclopedia of Applied Ethics, 2nd ed. Academic Press.
The shortest definition of a number in Peano arithmetic.Dev K. Roy - 2003 - Mathematical Logic Quarterly 49 (1):83-86.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.

Analytics

Added to PP
2014-01-16

Downloads
6 (#1,430,516)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references