- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Expressive Three-valued Truth Functions
Australasian Journal of Logic 4:226-245 (2006)
Abstract
The expressive truth functions of two-valued logic have all been characterized, as have the expressive unary truth functions of finitely-many-valued logic. This paper introduces some techniques for identifying expressive functions in three-valued logics.Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The Expressive Unary Truth Functions of n -valued Logic.Stephen Pollard - 2005 - Notre Dame Journal of Formal Logic 46 (1):93-105.
The Expressive Truth Conditions of Two-Valued Logic.Stephen Pollard - 2002 - Notre Dame Journal of Formal Logic 43 (4):221-230.
The Maximal Closed Classes of Unary Functions in p‐Valued Logic.Liu Renren & Lo Czukai - 1996 - Mathematical Logic Quarterly 42 (1):234-240.
A Note on Truth‐Value Functions in the Infinitely Many‐Valued Logics.Akira Nakamura - 1963 - Mathematical Logic Quarterly 9 (8‐9):141-144.
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
Product Ł ukasiewicz Logic.Rostislav Horčík & Petr Cintula - 2004 - Archive for Mathematical Logic 43 (4):477-503.
From Games to Truth Functions: A Generalization of Giles’s Game.Christian G. Fermüller & Christoph Roschger - 2014 - Studia Logica 102 (2):389-410.
On Complete and Independent Sets of Truth Functions in Multi-Valued Logics.Jean W. Butler - 1965 - Journal of Symbolic Logic 30 (2):246-246.
Analytics
Added to PP
2015-02-04
Downloads
61 (#985,760)
6 months
5 (#1,640,649)
2015-02-04
Downloads
61 (#985,760)
6 months
5 (#1,640,649)
Historical graph of downloads
References found in this work
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic.J. C. Beall & Bas C. van Fraassen - 2003 - Oxford, GB: Oxford University Press.
The Sheffer functions of 3-valued logic.Norman M. Martin - 1954 - Journal of Symbolic Logic 19 (1):45-51.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation