Reachable Completeness Theorem of Order Sorted Equational Logic with Infinite Proofs.

Taeseung Sohn, Tsubasa Takagi

Browse the full TASE paper archive.