From two- to four-valued logic
Brink, Chris
Banach Center Publications, Tome 28 (1993), p. 9-16 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)

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.

Publié le : 1993-01-01
EUDML-ID : urn:eudml:doc:262815 
@article{bwmeta1.element.bwnjournal-article-bcpv28z1p9bwm,
     author = {Brink, Chris},
     title = {From two- to four-valued logic},
     journal = {Banach Center Publications},
     volume = {28},
     year = {1993},
     pages = {9-16},
     zbl = {0793.03022},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv28z1p9bwm}
}

Brink, Chris. From two- to four-valued logic. Banach Center Publications, Tome 28 (1993) pp. 9-16. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv28z1p9bwm/

[000] A. R. Anderson and N. D. Belnap, Jr. [1975], Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton Univ. Press. | Zbl 0323.02030

[001] N. D. Belnap [1976], How a computer should think, in: Contemporary Aspects of Philosophy, G. Ryle (ed.), Oriel Press, 30-56.

[002] 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.

[003] 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.

[004] C. Brink [1992], Power structures, to appear in Algebra Universalis.

[005] C. Brink and J. Heidema [1987], A verisimilar ordering of theories phrased in a propositional language, British J. Philos. Sci. 38, 533-549. | Zbl 0676.03001

[006] M. Fitting [1989], Bilattices and the theory of truth, J. Philos. Logic 18, 225-256. | Zbl 0678.03028

[007] J. Fox [1990], Motivation and demotivation of a four-valued logic, Notre Dame J. Formal Logic 31 (1), 76-80. | Zbl 0709.03001

[008] H. Levesque [1984], A logic of implicit and explicit belief, in: Proceedings AAAI-84, Austin, TX, 198-202.

[009] R. K. Meyer and E. Martin [1986], Logic on the Australian plan, J. Philos. Logic 15, 305-332. | Zbl 0614.03006

[010] P. F. Patel-Schneider [1989], A four-valued semantics for terminological logics, Artificial Intelligence 38, 319-351. | Zbl 0664.03024

[011] 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.

[012] H. Rasiowa [1974], An algebraic approach to non-classical logics, Stud. Logic Found. Math. 78, North-Holland, Amsterdam. | Zbl 0299.02069

[013] R. Sylvan [199?], On interpreting truth tables, and relevant truth table logic, to appear in Notre Dame J. Formal Logic. | Zbl 0771.03001