Corrigendum to my paper: "A propositional calculus intermediate between the minimal calculus and the classical"

Notre Dame Journal of Formal Logic 10 (3):336-336 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893727

Links

PhilArchive



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

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 propositional calculus intermediate between the minimal calculus and the classical.Charles Parsons - 1966 - Notre Dame Journal of Formal Logic 7 (4):353-358.
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
Inferentializing consequence.Jaroslav Peregrin - unknown
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
Tables for the propositional calculus (logico-mathematical brain).René Calvache - 1966 - Miami, Fla.: Miami, Fla.. Edited by Sanabria, E. F. & [From Old Catalog].
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Quantum logic and the classical propositional calculus.Othman Qasim Malhas - 1987 - Journal of Symbolic Logic 52 (3):834-841.
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
Completeness theorems via the double dual functor.Adriana Galli, Marta Sagastume & Gonzalo E. Reyes - 2000 - Studia Logica 64 (1):61-81.
Minimal forms in λ-calculus computations.Corrado Böhm & Silvio Micali - 1980 - Journal of Symbolic Logic 45 (1):165-171.

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,132,055)

6 months
5 (#625,196)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Charles Parsons
Harvard University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references