Positive Free Higher-Order Logic and its Automation via a Semantical EmbeddingEasyChair Preprint no. 3621, version historyKeyphrases: 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 |