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

EasyChair Preprint 3621, version history

Irina Makarenko and Christoph Benzmüller

Version	Date	Pages	Version notes
1	June 15, 2020	15
2	July 22, 2020	15	Final version for KI 2020 conference.

Keyphrases: Free Higher-Order Logic, Interactive and Automated Theorem Proving, Knowledge Representation and Reasoning, Partiality and undefinedness, Philosophical foundations of AI, Prior’s paradox, free logic, positive free logic

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:3621,
  author    = {Irina Makarenko and Christoph Benzmüller},
  title     = {Positive Free Higher-Order Logic and its Automation via a Semantical Embedding},
  howpublished = {EasyChair Preprint 3621},
  year      = {EasyChair, 2020}}