The continuous realizability of entailment

Mathematical Logic Quarterly 29 (4):219-233 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19830290408

Other Versions

No versions found

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

Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (7‐14):201-216.
In Domain Realizability, not all Functionals on C[–1, 1] are Continuous.Martín Escardó & Thomas Streicher - 2002 - Mathematical Logic Quarterly 48 (S1):41-44.
A New Realizability Notion for Intuitionistic Analysis.B. Scarpellini - 1977 - Mathematical Logic Quarterly 23 (7‐12):137-167.
Model-theoretic Elekes–Szabó in the strongly minimal case.Artem Chernikov & Sergei Starchenko - 2020 - Journal of Mathematical Logic 21 (2):2150004.
Two variants of the system of entailment.Imre Ruzsa - 1975 - Mathematical Logic Quarterly 21 (1):57-68.
Independent Axiom Schemata for the Pure Theory of Entailment.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (1-6):93-95.
Gerhard Gentzen. Investigations into logical deduction. English translation of 4422 by M. E. Szabo. American philosophical quarterly, vol. 1 , pp. 288–306, and vol. 2 , pp. 204–218. - Paul Bernays. Introduction.Therein, vol. 1, p. 288. [REVIEW]John Riser - 1970 - Journal of Symbolic Logic 35 (1):144-145.
A Decision Procedure For the System E Ī of Entailment with Negation.Nuel D. Belnap & John R. Wallace - 1965 - Mathematical Logic Quarterly 11 (4):277-289.
Review: Hans Georg Steiner, Frege und die Grundlagen der Geometrie; G. Frege, M. E. Szabo, E. D. Klemke, On the Foundations of Geometry. [REVIEW]Michael Resnik - 1971 - Journal of Symbolic Logic 36 (1):155-155.

Analytics

Added to PP
2014-01-16

Downloads
27 (#829,749)

6 months
7 (#722,178)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Algebra of proofs.M. E. Szabo - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.

Add more references