Encodability of Kleene's O

&
Journal of Symbolic Logic 38 (3):437 - 440 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273040

Links

PhilArchive



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

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 two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.
The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.
Coproducts in the categories of Kleene and three-valued łukasiewicz algebras.Roberto Cignoli - 1979 - Studia Logica 38 (3):237 - 245.
The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
Kleene's three valued logics and their children.Melvin Fitting - unknown
Kleene's logic, generalized.Melvin Fitting - unknown
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown

Analytics

Added to PP
2009-01-28

Downloads
52 (#305,270)

6 months
14 (#176,812)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
$\Pi ^{0}_{1}$ -Encodability and Omniscient Reductions.Benoit Monin & Ludovic Patey - 2019 - Notre Dame Journal of Formal Logic 60 (1):1-12.

Add more citations

References found in this work

No references found.

Add more references