7988 search results - page 312 / 1598 » A Useful Undecidable Theory |
157
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
145
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
154
click to vote
CIE
2008
Springer
15 years 7 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
140
click to vote
WOB
2004
15 years 6 months ago
2004
The necessary information to reproduce and keep an organism is codified in acid nucleic molecules. Deepening the knowledge about how the information is stored in these bio-sequence...
128
click to vote
IWFM
1998
15 years 6 months ago
1998
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...