A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic

Journal of Symbolic Logic 29 (4):212-212 (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: 93,612

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

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.
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. [REVIEW]Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):212-213.
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: Gene F. Rose, Propositional Calculus and Realizability. [REVIEW]David Nelson - 1954 - Journal of Symbolic Logic 19 (2):126-126.
Review: Gene F. Rose, Output Completeness in Sequential Machines. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (1):140-140.
Review: Seymour Ginsburg, Gene F. Rose, A Characterization of Machine Mappings. [REVIEW]Asa Kasher - 1968 - Journal of Symbolic Logic 33 (3):468-468.
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
Review: Francis C. Oglesby, An Examination of a Decision Procedure; F. C. Oglesby, Report: An Examination of a Decision Procedure. [REVIEW]Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
On the asymptotic density of tautologies in logic of implication and negation.M. Zaionc - 2005 - Reports on Mathematical Logic:67-87.

Analytics

Added to PP
2017-02-21

Downloads
10 (#1,207,970)

6 months
3 (#1,206,820)

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