A Natural Deduction System for Annotated Predicate Logic.

Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe

Browse the full KES paper archive.