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