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

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

[img]
Preview
Text (Full Text)
PP-2007-14.text.pdf

Download (164kB) | Preview
[img] Text (Abstract)
PP-2007-14.abstract.txt

Download (351B)

Abstract

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