The alternatives to an action

Theoria 36 (2):116-126 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1970.tb00414.x

Other Versions

No versions found

Links

PhilArchive



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

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

Philosophical and logical publications of Dag Prawitz.[author unknown] - 1998 - Theoria 64 (2-3):338-343.
Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz.Göran Sundholm - 1998 - Theoria 64 (2-3):187-216.
Dag Prawitz. An improved proof procedure. Theoria , vol. 26 , pp. 102–139.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
Dimostrazioni e significato: Michael Dummett, Dag Prawitz, Per Martin-Löf.Enrico Moriconi - 1993 - Francoangeli.
Inferential Semantics.Kosta Došen - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 147--162.
On the motives for proof theory.Michael Detlefsen - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer.
Gästredaktör Dag Prawitz.Tema Kantjubileum - 2004 - Norsk Filosofisk Tidsskrift 4.
Prawitz Dag. Hauptsatz for higher order logic.K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607.

Analytics

Added to PP
2010-09-13

Downloads
56 (#382,832)

6 months
6 (#851,135)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

Actualism and Possibilism in Ethics.Travis Timmerman & Yishai Cohen - 2019 - Stanford Encyclopedia of Philosophy.
Obligations to the starving.Michael McKinsey - 1981 - Noûs 15 (3):309-323.
The Problem of Conditional Obligation.Judith Wagner Decew - 1978 - Dissertation, University of Massachusetts Amherst

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references