Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ASIAN
2004
Springer

favoriteEmaildiscussreport

78views Algorithms» more ASIAN 2004»

A Simple Theory of Expressions, Judgments and Derivations

13 years 10 months ago

A Simple Theory of Expressions, Judgments and Derivations

Download www.sato.kuis.kyoto-u.ac.jp

We propose a simple theory of expressions which is intended to be used as a foundational syntactic structure for the Natural Framework (NF). We deﬁne expression formally and give a simple proof of the decidability of α-equivalence. We use this new theory of expressions to deﬁne judgments and derivations formally, and we give concrete examples of derivation games to show a ﬂavor of NF.

Masahiko Sato

Real-time Traffic

ASIAN 2004 | Foundational Syntactic Structure | Simple Proof | Simple Theory |

claim paper

Related Content

» Reasoning with hypothetical judgments and open terms in hybrid

» Mizars Soft Type System

» Reasoning about judgment and preference aggregation

» A simple and efficient sampling method for estimating AP and NDCG

» A simple and expressive semantic framework for policy composition in access control

» Translating specifications from nominal logic to CIC with the theory of contexts

» Analysis and comparison of several simple impulsive noise mitigation schemes for OFDM rece...

» Quadratic forms in normal RVs theory and applications to OSTBC over hoyt fading channels

» Toward a Logic for Qualitative Decision Theory

Post Info
More Details (n/a)

Added	30 Jun 2010
Updated	30 Jun 2010
Type	Conference
Year	2004
Where	ASIAN
Authors	Masahiko Sato

Comments (0)