1101 search results - page 17 / 221 » Forcing in proof theory |
ICRA
1999
IEEE
13 years 11 months ago
1999
IEEE
Abstract: This paper presents a novel design of a Jiegged "spider" robot capable of moving in a wide range of two-dimensional tunnels. The spider moves in a quasistatic m...
FROCOS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
ASIAN
2004
Springer
14 years 27 days ago
2004
Springer
We propose a simple theory of expressions which is intended to be used as a foundational syntactic structure for the Natural Framework (NF). We define expression formally and give...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theo...
JIIS
2008
13 years 7 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...