6978 search results - page 238 / 1396 » On Proofs in System P |
189
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
183
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
199
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
283
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
As computer systems are essential components of many critical commercial services, the need for secure online transactions is now becoming evident. The demand for such application...
177
click to vote
WINE
2007
Springer
16 years 22 days ago
2007
Springer
We study the problem of hiring a team of selfish agents to perform a task. Each agent is assumed to own one or more elements of a set system, and the auctioneer is trying to purch...