English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Journal Article

Autodescriptivity: Beware!

MPS-Authors
/persons/resource/persons44183

Brink,  Chris
Programming Logics, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Brink, C., Rewitzky, I. M., & Schmidt, R. A. (1991). Autodescriptivity: Beware! The Computer Journal, 34(4), 380-381.


Cite as: http://hdl.handle.net/11858/00-001M-0000-001A-28D9-8
Abstract
Non-classical logics, and in particular many-valued logics, are increasingly used in the study of formal aspects of computing. For example, a recent paper by P. F. Gibbins in this \em Journal presents a 3-valued propositional logic for VDM. In the use of such logics one naturally relies on earlier work done by logicians, a case in point being Gibbin's use of the concept of autodescriptivity, introduced by N. Rescher. The purpose of this Note is to sound a warning that Rescher's exposition of autodescriptivity is seriously flawed, and to clarify the autodescriptivity of the logic of VDM.