A Semantics for the Impure Logic of Ground
Louis deRosset, Kit Fine
Topics & Concepts
Semantics (computer science)Computer scienceProgramming languageHigher-order logicMathematicsTheoretical computer scienceDescription logicLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems