The Expressive Unary Truth Functions of n -valued Logic

Notre Dame Journal of Formal Logic 46 (1):93-105 (2005)
  Copy   BIBTEX

Abstract

The expressive truth functions of two-valued logic have all been identified. This paper begins the task of identifying the expressive truth functions of n-valued logic by characterizing the unary ones. These functions have distinctive algebraic, semantic, and closure-theoretic properties

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1107220676

Links

PhilArchive



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

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 Expressive Truth Conditions of Two-Valued Logic.Stephen Pollard - 2002 - Notre Dame Journal of Formal Logic 43 (4):221-230.
Many-Valued Logics.Nicholas J. J. Smith - 2012 - In Gillian Russell & Delia Graff Fara (eds.), The Routledge Companion to Philosophy of Language. Routledge. pp. 636--51.
Nondeterministic three-valued logic: Isotonic and guarded truth-functions.Peter Päppinghaus & Martin Wirsing - 1983 - Studia Logica 42 (1):1 - 22.
Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
On Characterizing Unary Probability Functions and Truth-Value Functions.Hugues Leblanc - 1985 - Canadian Journal of Philosophy 15 (1):19 - 24.
A tableau calculus for partial functions.Manfred Kerber Michael Kohlhase - unknown
Structure, method, and meaning.Paul Henle - 1951 - New York,: Liberal Arts Press.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
A planar geometrical model for representing multidimensional discrete spaces and multiple-valued logic functions.Ryszard Stanislaw Michalski - 1978 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
On n-valued functionally complete truth functions.R. L. Graham - 1967 - Journal of Symbolic Logic 32 (2):190-195.
Definability in functional analysis.José Iovino - 1997 - Journal of Symbolic Logic 62 (2):493-505.

Analytics

Added to PP
2010-08-24

Downloads
34 (#456,993)

6 months
15 (#159,278)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Expressive Three-valued Truth Functions.Stephen Pollard - 2006 - Australasian Journal of Logic 4:226-245.

Add more citations

References found in this work

Closed Bases and Closure Logic.Norman M. Martin - 1996 - The Monist 79 (1):117-127.
The Expressive Truth Conditions of Two-Valued Logic.Stephen Pollard - 2002 - Notre Dame Journal of Formal Logic 43 (4):221-230.
On compactness in many-valued logic. I.Peter W. Woodruff - 1973 - Notre Dame Journal of Formal Logic 14 (3):405-407.

View all 6 references / Add more references