McCall Storrs. A simple decision procedure for one-variable implication/negation formulae in intuitionist logic. Notre Dame journal of formal logic, vol. 3 , pp. 120–122 [Book Review]

Journal of Symbolic Logic 29 (4):212-213 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270401

Links

PhilArchive



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

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 simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.Storrs McCall - 1962 - Notre Dame Journal of Formal Logic 3 (2):120-122.
Review: Storrs McCall, A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic. [REVIEW]Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):212-212.
Contrariety.Storrs McCall - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):121-132.
The strong future tense.Storrs McCall - 1979 - Notre Dame Journal of Formal Logic 20 (3):489-504.
A decision procedure for positive implication.Michael D. Resnik - 1962 - Notre Dame Journal of Formal Logic 3 (3):179-186.
Models for modal syllogisms.Fred Johnson - 1989 - Notre Dame Journal of Formal Logic 30 (2):271-284.
Every functionally complete $m$-valued logic has a Post-complete axiomatization.Nuel D. Belnap & Storrs McCall - 1970 - Notre Dame Journal of Formal Logic 11 (1):106-106.
Ashworth E. J.. Propositional logic in the sixteenth and early seventeenth centuries. Notre Dame journal of formal logic, vol. 9 no. 2 , pp. 179–192.Ashworth E. J.. Petrus Fonseca and material implication. Notre Dame journal of formal logic, vol. 9 no. 3 , pp. 227–228. [REVIEW]Martin M. Tweedale - 1971 - Journal of Symbolic Logic 36 (2):323-324.
Schock Rolf. Some definitions of subjunctive implication, of counterfactual implication, and of related concepts. Notre Dame journal of formal logic, vol. 2 , pp. 206–221.Schock Rolf. A note on subjunctive and counterfactual implication. Notre Dame journal of formal logic, vol. 3 , pp. 289–290. [REVIEW]Arnold Koslow - 1970 - Journal of Symbolic Logic 35 (2):319-319.
A simple defense of material implication.Lee C. Archie - 1979 - Notre Dame Journal of Formal Logic 20 (2):412-414.
Consequential implication. A correction to: "Decision procedures for logics of consequential implication".Claudio Pizzi - 1993 - Notre Dame Journal of Formal Logic 34 (4):621-624.
A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
Decision procedures for logics of consequential implication.Claudio Pizzi - 1991 - Notre Dame Journal of Formal Logic 32 (4):618-636.
Separating minimal, intuitionist, and classical logic.David Meredith - 1983 - Notre Dame Journal of Formal Logic 24 (4):485-490.
A decision procedure for Fitch's propositional calculus.Richmond H. Thomason - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):101-117.

Analytics

Added to PP
2016-06-30

Downloads
15 (#950,030)

6 months
5 (#645,438)

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

No references found.

Add more references