Supplemental data to paper "An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning"

<p>These files are supplementary material to the paper<br> &nbsp; An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning<br> &nbsp; Alexander Steen<br> accepted at the Eighth Workshop on Practical Aspects of Automated Reasoning (PAAR 2022), 2022.</p> <p>Files ex1.p, ex2.p and ex3.p correspond to Examples 1, 2, and 3 from the paper in section 5.<br> The *.embed.p files are their embedded variants in classical HOL (THF).</p> <p>In a later update, according to the paper [1], the syntax of NXF and NHF was slightly updated to include<br> an &quot;@&quot;-sign between the non-classical operator {...} and its arguments (...), even in NXF. As a consequence,<br> the examples in this archive have been updated accordingly.</p> <p>Alexander Steen, &lt;alexander.steen@uni-greifswald.de&gt;</p> <p>&nbsp;</p> <p>[1] Alexander Steen, David Fuenmayor, Tobias Glei&szlig;ner, Geoff Sutcliffe, Christoph Benzm&uuml;ller: Automated Reasoning in Non-classical Logics in the TPTP World. PAAR@IJCAR 2022. Available at https://ceur-ws.org/Vol-3201/paper11.pdf</p>