A simple treatment of truth functions

Journal of Symbolic Logic 24 (4):301-302 (1959)
  Copy   BIBTEX

Abstract

In this note we present an axiomatization of the classical two-valued propositional calculus, for which proofs of decidability, consistency, completeness, and independence, are almost trivial (given an understanding of truth tables).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Chapter XI. functions, arithmetic, and other special topics.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 392-487.
A sieve for entailments.J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (1):41 - 57.
Simple Collective Identity Functions.Murat Ali Çengelci & M. Remzi Sanver - 2010 - Theory and Decision 68 (4):417-443.
A Simple Type Theory With Partial Functions And Subtypes.William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.
Expressive Three-valued Truth Functions.Stephen Pollard - 2006 - Australasian Journal of Logic 4:226-245.
Truth is Simple.Leon Horsten & Graham E. Leigh - 2017 - Mind 126 (501):195-232.

Analytics

Added to PP
2009-01-28

Downloads
59 (#244,539)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nuel Belnap
University of Pittsburgh

Citations of this work

Add more citations

References found in this work

Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.

Add more references