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

EasyChair Preprint 3621, version history

VersionDatePagesVersion 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}}