The logical concept of proof

Studia Logica 19 (1):12-45 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02186720

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

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

A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
A complete and consistent formal system for sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.
Embedding display calculi into logical frameworks : Comparing twelf and Isabelle.Jeremy E. Dawson - unknown
A definition of the logical concept of proof.Kazimierz Ajdukiewicz - 1966 - Studia Logica 19 (1):46 -.

Analytics

Added to PP
2009-01-28

Downloads
62 (#262,361)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.
Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.

Add more references