Proof theory and computer programming

Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414 (1990) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Areas of Mathematics in Philosophy of Mathematics

Keywords

Reprint years

DOI

10.1002/malq.19900360505

Links

PhilArchive

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

External links

From the Publisher via CrossRef (no proxy)

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.

The Deductive Foundations of Computer Programming: A One-volume Version of The Logical Basis for Computer Programming.Zohar Manna & Richard Waldinger - 1993 - Addison-Wesley Professional.

Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992

Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings.Andrzej Lingas & Rolf Karlsson - 1993 - Springer.

Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.

Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.

Of Proofs, Mathematicians, and Computers.Astrik Yepremyan - unknown

The Uniform Proof-Theoretic Foundation of Linear Logic Programming.J. A. Harland & D. J. Pym - 1991 - LFCS, Department of Computer Science, University of Edinburgh.

Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.

Automata, Languages and Programming.Werner Kuich - 1992 - Springer.

The Logical Basis for Computer Programming: Deductive reasoning.Zohar Marra, Zohar Manna & Richard Waldinger - 1985 - Addison-Wesley Professional.

Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.

Theoretical Computer Science Selected Papers of the Symposium on Programming Language Implementation and Logic Programming , Passau, Germany, 26-28 August, 1991.J. Malszy Nski & Martin Wirsing - 1995 - Elsevier.

Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).

Logic Programming: Operational Semantics and Proof Theory.James H. Andrews - 1992 - Cambridge University Press.

Analytics

Added to PP
2016-02-04

Downloads
34 (#466,590)

6 months
3 (#967,057)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Extending the Curry-Howard interpretation to linear, relevant and other resource logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.

On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.

On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.

From Tractatus to Later Writings and Back – New Implications from Wittgenstein’s Nachlass.Ruy J. G. B. de Queiroz - 2023 - SATS 24 (2):167-203.

Add more citations

References found in this work

Philosophical investigations.Ludwig Wittgenstein & G. E. M. Anscombe - 1953 - Revue Philosophique de la France Et de l'Etranger 161:124-124.

Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1956 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.

The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.

"Remarks on the Foundations of Mathematics". By Ludwig Wittgenstein.G. D. Duthie - 1957 - Philosophical Quarterly 7 (29):368-373.

View all 7 references / Add more references