5084 search results - page 155 / 1017 » Proving Possibility Properties |
184
click to vote
ICDT
1997
ACM
15 years 10 months ago
1997
ACM
A “scoring rule” is an assignment of a value to every tuple (of varying sizes). This paper is concerned with the issue of how to modify a scoring rule to apply to the case whe...
154
click to vote
ICISS
2009
Springer
16 years 27 days ago
2009
Springer
We present a new remote, coercion-free electronic voting protocol which satisfies a number of properties previously considered contradictory. We introduce (and justify) the idea ...
156
click to vote
CISS
2008
IEEE
16 years 24 days ago
2008
IEEE
—We investigate the distance vectors contained in individual and in pairs of Costas arrays, and prove some rigorous results in the case of the algebraically constructed ones. Ove...
166
click to vote
TLCA
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
123
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
In [2] Gentzen calculi for intuitionistic logic extended with an existence predicate were introduced. Such logics were first introduced by Dana Scott, who provided a proof system ...