1894 search results - page 208 / 379 » A TLA Proof System |
158
click to vote
LACL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
131
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
The notion of a bilattice was rst proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting....
130
click to vote
CADE
1992
Springer
15 years 8 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...
133
click to vote
IPMU
1994
Springer
15 years 8 months ago
1994
Springer
Bayes nets are seeing increasing use in expert systems [2, 6], and structural equations models continue to be popular in many branches of the social sciences [1]. Both types of mod...
126
Voted
ITP
2010
15 years 8 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...