DeepAI AI Chat
Log In Sign Up

A Gentzen-style monadic translation of Gödel's System T

08/16/2019
by   Chuangjie Xu, et al.
Universität München
0

We present a monadic translation of Gödel's System T in the spirit of Gentzen's negative translation, allowing us to reveal various structures of terms of System T.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/26/2015

The Improvement of Negative Sentences Translation in English-to-Korean Machine Translation

This paper describes the algorithm for translating English negative sent...
09/06/2022

From CCS to CSP: the m-among-n Synchronisation Approach

We present an alternative translation from CCS to an extension of CSP ba...
07/16/2021

Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style

Type theories can be formalized using the intrinsically (hard) or the ex...
04/28/2023

The Logical Essence of Compiling With Continuations

The essence of compiling with continuations is that conversion to contin...
11/20/2008

chi2TeX Semi-automatic translation from chiwriter to LaTeX

Semi-automatic translation of math-filled book from obsolete ChiWriter f...
04/15/2019

From Linear Logic to Cyclic Sharing

We present a translation from Multiplicative Exponential Linear Logic to...