Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding

Makarenko, IrinaIrinaMakarenkoBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-222022-09-222020978-3-030-58285-2978-3-030-58284-51611-33490302-9743https://fis.uni-bamberg.de/handle/uniba/55660engPositive Free Higher-Order Logic and Its Automation via a Semantical Embeddingconferenceobject10.1007/978-3-030-58285-2_9https://link.springer.com/chapter/10.1007/978-3-030-58285-2_9