Embedding the hypersequent calculus in the display calculus.

Revantha Ramanayake

Published in: J. Log. Comput. (2015)

Keyphrases

real time
databases
formal language
proof procedure
information systems
mobile devices
digital images
vector space
computer algebra
projector camera
sequent calculus