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

EasyChair Preprint no. 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, free logic, Interactive and Automated Theorem Proving, Knowledge Representation and Reasoning, Partiality and undefinedness, Philosophical foundations of AI, positive free logic, Prior’s paradox

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 no. 3621},

  year = {EasyChair, 2020}}