Glivenko and Kuroda for simple type theory

&
Journal of Symbolic Logic 79 (2):485-495 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2013.10

Links

PhilArchive



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

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

Glivenko theorems and negative translations in substructural predicate logics.Hadi Farahani & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):695-707.
Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
A short proof of Glivenko theorems for intermediate predicate logics.Christian Espíndola - 2013 - Archive for Mathematical Logic 52 (7-8):823-826.
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
On the binding group in simple theories.Ziv Shami & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (3):1016-1024.
Coordinatisation by Binding Groups and Unidimensionality in Simple Theories.Ziv Shami - 2004 - Journal of Symbolic Logic 69 (4):1221 - 1242.
Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices.Bin Zhao & Hongjun Zhou - 2013 - Archive for Mathematical Logic 52 (7-8):689-706.
Glivenko like theorems in natural expansions of BCK‐logic.Roberto Cignoli & Antoni Torrens Torrell - 2004 - Mathematical Logic Quarterly 50 (2):111-125.
Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Type Theory and Homotopy.Steve Awodey - unknown
An Approach to Glivenko's Theorem in Algebraizable Logics.Antoni Torrens Torrell - 2008 - Studia Logica 88 (3):349 - 383.

Analytics

Added to PP
2016-06-30

Downloads
17 (#819,600)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Intuitionistic Logic Model Theory and Forcing.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.

View all 8 references / Add more references