There are denumerably many ternary intuitionistic Sheffer functions

Notre Dame Journal of Formal Logic 29 (4):579-581 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093638023

Links

PhilArchive



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

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

The application of ternary semi-groups to the study of $n$-valued Sheffer functions.James Rosenberg - 1969 - Notre Dame Journal of Formal Logic 10 (1):90-94.
Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
Ternary exclusive or.Jeff Pelletier - unknown
Henry M. Sheffer and Notational Relativity.Alasdair Urquhart - 2012 - History and Philosophy of Logic 33 (1):33 - 47.
An intuitionistic Sheffer function.Kosta Došen - 1985 - Notre Dame Journal of Formal Logic 26 (4):479-482.
From Classical to Intuitionistic Probability.Brian Weatherson - 2003 - Notre Dame Journal of Formal Logic 44 (2):111-123.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.
The Sheffer functions of 3-valued logic.Norman M. Martin - 1954 - Journal of Symbolic Logic 19 (1):45-51.
The determination of all Sheffer functions in $3$-valued logic, using a logical computer. [REVIEW]Eric Foxley - 1962 - Notre Dame Journal of Formal Logic 3 (1):41-50.
Church's thesis, continuity, and set theory.M. Beeson & A. Ščedrov - 1984 - Journal of Symbolic Logic 49 (2):630-643.
Paul Ricoeur’s Panchronic and Ternary Approach to Tradition.Fanfan Chen - 2011 - Studia Phaenomenologica 11:155-178.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,137,779)

6 months
1 (#1,471,540)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.

Add more citations

References found in this work

No references found.

Add more references