A Negationless Interpretation of Intuitionistic Theories. II

Studia Logica 65 (2):155-179 (2000)
  Copy   BIBTEX

Abstract

This work is a sequel to our [16]. It is shown how Theorem 4 of [16], dealing with the translatability of HA(Heyting's arithmetic) into negationless arithmetic NA, can be extended to the case of intuitionistic arithmetic in higher types.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1005207512630

Links

PhilArchive



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

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 Negationless Interpretation of Intuitionistic Theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (3):323-344.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (1-2):155-179.
An Intuitionistic Completeness Theorem for Classical Predicate Logic.Victor N. Krivtsov - 2010 - Studia Logica 96 (1):109-115.
Contracting Intuitionistic Theories.Neil Tennant - 2005 - Studia Logica 80 (2-3):369-391.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.
A negationless interpretation of intuitionistic theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-179.
A negationless interpretation of intuitionistic theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (1-2):323-344.
An Intuitionistic Model of Single Electron Interference.J. V. Corbett & T. Durt - 2010 - Studia Logica 95 (1-2):81-100.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Combining possibilities and negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113-130.
Finite sets and natural numbers in intuitionistic TT without extensionality.Daniel Dzierzgowski - 1998 - Studia Logica 61 (3):417-428.

Analytics

Added to PP
2016-02-17

Downloads
4 (#1,630,023)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Notes on Constructive Negation.Grigori Mints - 2006 - Synthese 148 (3):701-717.

Add more citations

References found in this work

The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.

Add more references