An Interactive Interpretation Viewer for Typed First-order Logic

Abstract

This poster describes the Interactive Interpretation Viewer - IIV, for finite interpretations in typed first-order logic written in the (new) TPTP format for interpretations.