Derived rules of inference related to the continuity of effective operations

Journal of Symbolic Logic 41 (2):328-336 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272231

Links

PhilArchive



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

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

On self-admissible quasi-characterizing inference rules.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Studia Logica 65 (3):417-428.
The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals.Michael Beeson - 1976 - Journal of Symbolic Logic 41 (1):18-24.
Inference as an explication and as a counterpart of consequence.Jaroslav Peregrin - unknown
Nonmonotonic reasoning: From finitary relations to infinitary inference operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
Isomorphisms between HEO and HROE, ECF and ICFE.Marc Bezem - 1985 - Journal of Symbolic Logic 50 (2):359 - 371.
Church's thesis, continuity, and set theory.M. Beeson & A. Ščedrov - 1984 - Journal of Symbolic Logic 49 (2):630-643.
Popper's theory of deductive inference and the concept of a logical constant.Peter Schroeder-Heister - 1984 - History and Philosophy of Logic 5 (1):79-110.
Rules, norms and basic knowledge.Brian Weatherson - manuscript
Supracompact inference operations.Michael Freund - 1993 - Studia Logica 52 (3):457 - 481.
The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations.Michael J. Beeson - 1975 - Journal of Symbolic Logic 40 (3):321-346.

Analytics

Added to PP
2009-01-28

Downloads
216 (#96,072)

6 months
9 (#354,585)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Quelques procedes de definition en topologffi recursive.Daniel Lacombe - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 24--129.

Add more references