A second normal form for functions of the system ep

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (25):393-400 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19840302504

Links

PhilArchive



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

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 Second Normal Form For Functions Of The System Ep.Rod Mcbeth - 1984 - Mathematical Logic Quarterly 30 (25):393-400.
Reducibility Relationships Between Decision Problems for System Functions.M. B. Thuraisingham - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):305-312.
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces.D. Skordev - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (8):115-124.
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.
On deterministic normal systems.Paul Axt & W. E. Singletary - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (4-5):49-62.
A notation system for ordinal using ψ-functions on inaccessible mahlo numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):431-456.
A Classification of the Recursive Functions.Albert R. Meyer & Dennis M. Ritchie - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):71-82.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
Bounds in the Turing reducibility of functions.Karol Habart & K. Habart - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):423-430.
The normal depth of filters on an infinite cardinal.C. A. di Prisco, M. Fuller & J. M. Henle - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):293-296.

Analytics

Added to PP
2013-12-01

Downloads
4 (#1,644,260)

6 months
35 (#103,417)

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