Review: Storrs McCall, A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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: Atwell R. Turquette, A Method for Constructing Implication Logics. [REVIEW]Storrs McCall - 1968 - Journal of Symbolic Logic 33 (2):308-309.
Review: Storrs McCall, R. K. Meyer, Pure Three-Valued Lukasiewiczian Implication. [REVIEW]Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (1):133-134.
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.
Pure three-valued łukasiewiczian implication.Storrs McCall & R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (3):399-405.
Connexive implication and the syllogism.Storrs McCall - 1967 - Mind 76 (303):346-356.
A complete many-valued logic with product-conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
Review: Storrs McCall, Polish Logic 1920-1939. [REVIEW]Witold A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (3):442-446.
Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
Decision.Storrs McCall - 1987 - Canadian Journal of Philosophy 17 (2):261 - 287.
Review: A. N. Prior, Eugene Freeman, Wilfrid Sellars, Recent Advances in Tense Logic. [REVIEW]Storrs McCall - 1975 - Journal of Symbolic Logic 40 (1):99-99.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,841,214)

6 months
1 (#1,346,405)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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