A Constructive Proof of a Theorem in Relevance Logic

Mathematical Logic Quarterly 31 (25‐28):423-430 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850312505

Other Versions

reprint Kron, Aleksandar (1985) "A Constructive Proof of a Theorem in Relevance Logic". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31(25-28):423-430

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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 constructive proof of the Peter-Weyl theorem.B. Spitters & G. Coquand - 2005 - Mathematical Logic Quarterly 51 (4):351.
A Proof of a Theorem of Tennenbaum.Paul E. Howard - 1972 - Mathematical Logic Quarterly 18 (7):111-112.
A General Constructive Intermediate Value Theorem.Douglas S. Bridges - 1989 - Mathematical Logic Quarterly 35 (5):433-435.
A Proof of the Compactness Theorem.Kenneth J. Danhof - 1974 - Mathematical Logic Quarterly 20 (8-12):179-182.
On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Mathematical Logic Quarterly 34 (5):385-392.
A Note on the Proof Method for Constructive Falsity.Kazuyuki Tanka - 1991 - Mathematical Logic Quarterly 37 (2‐4):63-64.
A constructive proof of the Peter‐Weyl theorem.Thierry Coquand & Bas Spitters - 2005 - Mathematical Logic Quarterly 51 (4):351-359.
A Constructive Version of the Spectral Mapping Theorem.Douglas Bridges & Robin Havea - 2001 - Mathematical Logic Quarterly 47 (3):299-304.
A Proof of the Characterization Theorem for Consequence Relations.Zvonimir Šikić - 1991 - Mathematical Logic Quarterly 37 (2‐4):41-43.

Analytics

Added to PP
2013-12-01

Downloads
17 (#1,156,101)

6 months
6 (#873,397)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A lambda proof of the p-w theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.
Normalization theorem for P-W.Misao Nagayama - 1999 - Bulletin of the Section of Logic 28 (2):83-88.

Add more citations

References found in this work

Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.

Add more references