Formulae Corresponding to Flip-Flops

Mathematical Logic Quarterly 7 (1-5):66-71 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19610070112

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,072

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

Foxley Eric. Determination of the set of all four-variable formulae corresponding to universal decision elements using a logical computer. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 302–314. [REVIEW]A. Rose - 1970 - Journal of Symbolic Logic 35 (1):160-160.
A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m‐Valued Logic.John Loader - 1974 - Mathematical Logic Quarterly 20 (1-3):1-18.
A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m‐Valued Logic.John Loader - 1974 - Mathematical Logic Quarterly 20 (1‐3):1-18.
More on Dichotomization: Flip-flops of two mistakes.Trudy Govier - unknown
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.
The use of universal decision elements as flip-flops.Alan Rose - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (12-16):169-174.
Foxley Eric. The determination of all Sheffer functions in 3-valued logic, using a logical computer. Notre Dame journal of formal logic, vol. 3 , pp. 41–50. [REVIEW]Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (2):174-174.
Permutations and stratified formulae a preservation theorem.Thomas Forster - 1990 - Mathematical Logic Quarterly 36 (5):385-388.

Analytics

Added to PP
2014-01-16

Downloads
23 (#942,055)

6 months
2 (#1,685,865)

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