On the consistency problem for the INDU calculus

, &
Journal of Applied Logic 4 (2):119-140 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.06.002

Links

PhilArchive



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

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

Strong Reduction of Combinatory Calculus with Streams.Koji Nakazawa & Hiroto Naya - 2015 - Studia Logica 103 (2):375-387.
Philosophical and methodological problem of consistency of mathematical theories.N. V. Michailova - 2013 - Liberal Arts in Russia 2 (6):552--560.
Kierkegaard's Notion of Subjectivity and its Bearing on The Problem of Communication.Indu Jalota - 1980 - Indian Philosophical Quarterly 7 (3):393.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
The basis decision problem in λ‐calculus.Benedetto Intrigila - 1993 - Mathematical Logic Quarterly 39 (1):178-180.
On the consistency of a three-valued logical calculus.D. A. Bochvar - 1984 - Topoi 3 (1):3-12.
The Consistency Argument for Ranking Functions.Franz Huber - 2007 - Studia Logica 86 (2):299-329.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
The consistency of arithmetic.Storrs McCall - manuscript
Intrinsic preferability and the problem of supererogation.Roderick M. Chisholm & Ernest Sosa - 1966 - Synthese 16 (3-4):321 - 331.
On the Consistency of Certain Logical Calculus.P. S. Novikoff - 1946 - Journal of Symbolic Logic 11 (4):129-131.
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
Review: P. S. Novikoff, On the Consistency of Certain Logical Calculus. [REVIEW]Alonzo Church - 1946 - Journal of Symbolic Logic 11 (4):129-131.
The Problem of University Courses on Infinitesimal Calculus and Their Demarcation from Infinitesimal Calculus in High Schools.Otto Toeplitz - 2015 - Science in Context 28 (2):297-310.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,132,055)

6 months
4 (#775,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On the calculus of relations.Alfred Tarski - 1941 - Journal of Symbolic Logic 6 (3):73-89.

Add more references