Ancestral Logic: A Proof Theoretical Study.

Liron Cohen, Arnon Avron

Browse the full WoLLIC paper archive.