Interpretationen der Heyting-Arithmetik endlicher Typen

Archive for Mathematical Logic 19 (1):175-189 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02011878

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.Justus Diller - 1974 - Archive for Mathematical Logic 16 (1-2):49-66.
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74.
Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen.J. Diller, H. Arnold Schmidt & K. Schutte - 1975 - Journal of Symbolic Logic 40 (3):453-454.
Review: J. Diller, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 109–120. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Linear Heyting algebras with a quantifier.Laura Rueda - 2001 - Annals of Pure and Applied Logic 108 (1-3):327-343.
Like a bee on a windowpane: Heyting's reflections on solipsism.Miriam Franchella - 1995 - Synthese 105 (2):207 - 251.
Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
An algebraic approach to subframe logics. Intuitionistic case.Guram Bezhanishvili & Silvio Ghilardi - 2007 - Annals of Pure and Applied Logic 147 (1):84-100.
A coalgebraic view of Heyting duality.Brian A. Davey & John C. Galati - 2003 - Studia Logica 75 (3):259 - 270.
Fatal Heyting Algebras and Forcing Persistent Sentences.Leo Esakia & Benedikt Löwe - 2012 - Studia Logica 100 (1-2):163-173.
Review: E. W. Beth, Construction Semantique de la Logique Intuitioniste; A. Heyting, Intervention; A. Heyting, La Theorie Elementaire de l'Integration en Mathematiques Intuitionnistes. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):287-287.
Varieties of Three-Values Heyting Algebras with a Quantifier.Manuel Abad, J. P. Diaz Varela & L. A. Rueda - 2000 - Studia Logica 65 (2):181-198.

Analytics

Added to PP
2020-12-03

Downloads
4 (#1,595,600)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Unifying Functional Interpretations.Paulo Oliva - 2006 - Notre Dame Journal of Formal Logic 47 (2):263-290.
Functional interpretation and inductive definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references