Login / Signup
Extracting Constructive Content from Classical Logic via Control-like Reductions.
Franco Barbanera
Stefano Berardi
Published in:
TLCA (1993)
Keyphrases
</>
classical logic
modal logic
logic programming
intuitionistic logic
control system
possibilistic logic
databases
data mining
default logic
computer science and artificial intelligence