An Interactive Interpretation Viewer for Typed First-order Logic
Keywords:Interactive, Interpretation, Logic, First-order
This poster describes the Interactive Interpretation Viewer - IIV, for finite interpretations in typed first-order logic written in the (new) TPTP format for interpretations.
How to Cite
Copyright (c) 2023 Jack McKeown, Geoff Sutcliffe
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.