A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method

Notre Dame Journal of Formal Logic 15 (1):161-164 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891209

Links

PhilArchive



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

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

On representing sentential connectives of Lesniewski's elementary Protothetic.Rafał Urbaniak - 2006 - Journal of Logic and Computation 16 (4):451-460.
Henry M. Sheffer and Notational Relativity.Alasdair Urquhart - 2012 - History and Philosophy of Logic 33 (1):33 - 47.
Truth, content, and the hypothetico-deductive method.Thomas R. Grimes - 1990 - Philosophy of Science 57 (3):514-522.
Empirical progress and truth approximation by the 'hypothetico-probabilistic method'.Theo A. F. Kuipers - 2009 - Erkenntnis 70 (3):313 - 330.
Realism, method and truth.Howard Sankey - 2002 - In Michele Marsonet (ed.), The Problem of Realism. Aldershot: Ashgate. pp. 64-81.
Propositional logic.Kevin C. Klement - 2004 - Internet Encyclopedia of Philosophy.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Unification For Quantified Formulae.Wilfried Sieg - unknown
Connectives without truth tables.Nathan Klinedinst & Daniel Rothschild - 2012 - Natural Language Semantics 20 (2):137-175.
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
Brief note on a Coin-method equivalent to the Yarrow-stalk method for determining the lines of a hexagram in the I-Ching.Edward A. Hacker - 1980 - Philosophy East and West 30 (4):535-536.
Cn-definitions of propositional connectives.Witold A. Pogorzelski & Piotr Wojtylak - 2001 - Studia Logica 67 (1):1-26.
Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.

Analytics

Added to PP
2010-08-24

Downloads
13 (#978,482)

6 months
2 (#1,157,335)

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