From two- to four-valued logic
Banach Center Publications (1993)
- Volume: 28, Issue: 1, page 9-16
- ISSN: 0137-6934
Access Full Article
top
Abstract
topHow to cite
topBrink, Chris. "From two- to four-valued logic." Banach Center Publications 28.1 (1993): 9-16. <http://eudml.org/doc/262815>.
@article{Brink1993,
abstract = {The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.},
author = {Brink, Chris},
journal = {Banach Center Publications},
keywords = {four-valued logic; power construction},
language = {eng},
number = {1},
pages = {9-16},
title = {From two- to four-valued logic},
url = {http://eudml.org/doc/262815},
volume = {28},
year = {1993},
}
TY - JOUR
AU - Brink, Chris
TI - From two- to four-valued logic
JO - Banach Center Publications
PY - 1993
VL - 28
IS - 1
SP - 9
EP - 16
AB - The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.
LA - eng
KW - four-valued logic; power construction
UR - http://eudml.org/doc/262815
ER -
References
top- A. R. Anderson and N. D. Belnap, Jr. [1975], Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton Univ. Press. Zbl0323.02030
- N. D. Belnap [1976], How a computer should think, in: Contemporary Aspects of Philosophy, G. Ryle (ed.), Oriel Press, 30-56.
- N. D. Belnap [1977], A useful four-valued logic], in: Modern Uses of Multiple-valued Logic, J. M. Dunn and G. Epstein (eds.), Reidel, Dordrecht, 8-37.
- N. D. Belnap and J. M. Dunn [1981], Entailment and the disjunctive syllogism, in: Contemporary Philosophy: A New Survey, Vol. 1, G. Floistad and G. H. von Wright (eds.), Martinus Nijhoff, The Hague, 337-366.
- C. Brink [1992], Power structures, to appear in Algebra Universalis.
- C. Brink and J. Heidema [1987], A verisimilar ordering of theories phrased in a propositional language, British J. Philos. Sci. 38, 533-549. Zbl0676.03001
- M. Fitting [1989], Bilattices and the theory of truth, J. Philos. Logic 18, 225-256. Zbl0678.03028
- J. Fox [1990], Motivation and demotivation of a four-valued logic, Notre Dame J. Formal Logic 31 (1), 76-80. Zbl0709.03001
- H. Levesque [1984], A logic of implicit and explicit belief, in: Proceedings AAAI-84, Austin, TX, 198-202.
- R. K. Meyer and E. Martin [1986], Logic on the Australian plan, J. Philos. Logic 15, 305-332. Zbl0614.03006
- P. F. Patel-Schneider [1989], A four-valued semantics for terminological logics, Artificial Intelligence 38, 319-351. Zbl0664.03024
- P. F. Patel-Schneider [199?], A decidable first-order logic for knowledge representation], manuscript, AI Principles Research Department, AT&T Bell Laboratories (October 1989). (Revised version from Proc. 9th Internat. Joint Conf. on AI (Los Angeles, California, 1985).) To appear in J. Automat. Reason.
- H. Rasiowa [1974], An algebraic approach to non-classical logics, Stud. Logic Found. Math. 78, North-Holland, Amsterdam. Zbl0299.02069
- R. Sylvan [199?], On interpreting truth tables, and relevant truth table logic, to appear in Notre Dame J. Formal Logic. Zbl0771.03001
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.