A generalisation of Slupecki's criterion for functional completeness

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):173-175 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840300907

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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 generalisation of Slupecki's criterion for functional completeness.Barbara J. Lowesmith & Alan Rose - 1984 - Mathematical Logic Quarterly 30 (9‐11):173-175.
A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens.Alan Rose - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (22-24):317-322.
A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept.Alan Rose - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):323-330.
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.
Generalised functional completeness of sets ofm-valued Sheffer functions.Alan Rose - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (12):177-182.
Pugmire J. M. and Rose A.. Formulae corresponding to universal decision elements. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 1–9.Rose A.. The use of universal decision elements as flip-flops. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 169–174.Rose Alan. Nouvelle méthode pour déterminer les formules qui correspondent à des éléments universels de décision. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 249 , pp. 870–872. [REVIEW]Robert McNaughton - 1962 - Journal of Symbolic Logic 27 (2):250-250.
Dependence of Some Axioms of Rose.Zane Parks - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):189-192.
Post Completeness and Free Algebras.G. Sambin & S. Valentini - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (22-24):343-347.
Model completeness and direct power.Kazem Taghva - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):3-9.
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.

Analytics

Added to PP
2015-12-02

Downloads
25 (#621,889)

6 months
3 (#1,208,233)

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