Anthony Cantor

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Intuitionistic Logic

Proof Theoretic

Top Venues

J. Log. Comput.

Publications

Anthony Cantor, Aaron Stump
Dual counterpart intuitionistic logic. J. Log. Comput. 34 (3) (2024)