Lambek-Grishin Calculus: Focusing, Display and Full Polarization.

Giuseppe Greco Valentin D. Richard Michael Moortgat Apostolos Tzimoulis

Published in: CoRR (2020)

Keyphrases

real time
image processing
viewpoint
computer algebra
multi touch
automated deduction
touch screen
information systems
proof procedure
natural deduction