Generalised functional completeness of sets ofm-valued Sheffer functions

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (12):177-182 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840301202

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Onn-Valued Sheffer Functions.Roy O. Davies - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):293-298.
Sheffer functions for many-valued S5 modal logics.Gerald J. Massey - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):101-104.
The Functional Completeness of Post'sm-Valued Propositional Calculus.Sally Barton - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):445-446.
Sheffer Functions in Intuitionistic Logic.G. Rousseau - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (18):279-282.
Rose Alan. Some formalisations of ℵ0-valued prepositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 204–209. [REVIEW]Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):213-213.
Rose Alan. An alternative Normalisation of Sobociński's three-valued implicational propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 2 pp. 166–172. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):380-380.
A generalisation of Slupecki's criterion for functional completeness.Barbara J. Lowesmith & Alan Rose - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):173-175.
Reducibility and Completeness for Sets of Integers.Richard M. Friedberg & Hartley Rogers - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):117-125.
Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 289–292. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 293–294. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):143-143.

Analytics

Added to PP
2015-12-02

Downloads
28 (#558,165)

6 months
1 (#1,723,047)

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