Supervaluations and the Strict-Tolerant Hierarchy
Brian Porter
Topics & Concepts
Classical logicProbabilistic logic networkConstruct (python library)InferenceMathematicsPhilosophy of logicMany-valued logicHigher-order logicHierarchyIntermediate logicComputer scienceParaconsistent logicArtificial intelligenceMultimodal logicDescription logicAutoepistemic logicDiscrete mathematicsProgramming languageEconomicsMarket economyAdvanced Algebra and LogicPhilosophy and Theoretical ScienceLogic, Reasoning, and Knowledge