PP-2007-14: Compiler correctness and the translation of logics

PP-2007-14: Janssen, Theo (2007) Compiler correctness and the translation of logics. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (164kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (351B)


In this article the issue of compiler correctness will be
investigated, and the insights obtained there, are applied to the
translation between logics.

Item Type: Report
Report Nr: PP-2007-14
Series Name: Prepublication (PP) Series
Year: 2007
Uncontrolled Keywords: Compiler correctness; translation of logics; Goedel translation; Kleene's 3 valued logic; Paraconsistent logic
Subjects: Logic
Depositing User: tjansse1
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/248

Actions (login required)

View Item View Item