Login / Signup
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons).
Michael Gabbay
Published in:
J. Appl. Log. (2017)
Keyphrases
</>
classical logic
proof theoretic
modal logic
logic programming
nonmonotonic reasoning
default logic
intuitionistic logic
decision making