2 search results - page 1 / 1 » A Full Characterization of Quantum Advice |
63
Voted
STOC
2010
ACM
15 years 7 months ago
2010
ACM
121
click to vote
JSYML
2000
15 years 2 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...