Logic, Language and Computation
Subtitle: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science)
Contributors: Neil D. Jones (Editor); Masami Hagiya (Editor); Masahiko Sato (Editor)
Publisher: Springer
Published: April 1994
Language: eng
Format: Paperback
Number of pages: 269
ISBN-13: 9783540579359
Subjects: Computer architecture & logic design; Mathematical theory of computation; Logic; Computers - Languages / Programming; Programming Languages - General; Japan; Programming - General; Takasu, Satoru
First sentence: It is well-known that classical logic can be faithfully embedded in constructive logic via so-called double-negation interpretations.