Storrs McCall and R. K. Meyer. Pure three-valued Łukasiewiczian implication. The journal of symbolic logic, vol. 31 , pp. 399–405

Journal of Symbolic Logic 33 (1):133-134 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270105

Links

PhilArchive



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

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

Pure Three-Valued Łukasiewiczian Implication.Storrs Mccall & R. K. Meyer - 1968 - Journal of Symbolic Logic 33 (1):133-134.
Pure three-valued łukasiewiczian implication.Storrs McCall & R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (3):399-405.
Review: Storrs McCall, R. K. Meyer, Pure Three-Valued Lukasiewiczian Implication. [REVIEW]Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (1):133-134.
Pure denumerable łukasiewiczian implication.R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (4):575-580.
Review: Atwell R. Turquette, A Method for Constructing Implication Logics. [REVIEW]Storrs McCall - 1968 - Journal of Symbolic Logic 33 (2):308-309.
R. K. Meyer. Pure denumerable Łukasiewiczian implication. The journal of symbolic logic, vol. 31 , pp. 575–580.A. Rose - 1968 - Journal of Symbolic Logic 33 (2):308.
Atwell R. Turquette. A method for constructing implication logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 267–278. [REVIEW]Storrs McCall - 1968 - Journal of Symbolic Logic 33 (2):308-309.
Tadeusz Kotarbiński. Introduction. Notes on the development of formal logic in Poland in the years 1900–39. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 1–14. - Jan Łukasiewicz. On the notion of possibility. English translation of the first half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 15–16. - Jan Łukasiewicz. On three-valued logic. English translation of the second half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 16–18. - Jan Łukasiewicz. On determinism. English translation of XXXIII 130 by Z. Jordan. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 19–39. - Jan Łukasiewicz. Philosophical remarks on many-valued systems of propositional logic. English translation of 1868 by H. Weber. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 40–65. - Jan Łuka. [REVIEW]Witold A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (3):442-446.
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.
A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic.Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):212-212.
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.
Many-Valued Logics and Systems of Strict Implication.Atwell R. Turquette - 1957 - Journal of Symbolic Logic 22 (3):328-328.
Pure Denumerable Lukasiewiczian Implication.R. K. Meyer - 1968 - Journal of Symbolic Logic 33 (2):308-308.
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.

Analytics

Added to PP
2016-06-30

Downloads
39 (#399,999)

6 months
4 (#800,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

No references found.

Add more references