Proof-Theoretic Semantics and Inquisitive Logic
Will Stafford
Topics & Concepts
NegationMathematicsIntuitionistic logicConjectureSemantics (computer science)Structural proof theoryProof theoryKripke semanticsCalculus (dental)Intermediate logicAlgebra over a fieldDiscrete mathematicsComputer sciencePure mathematicsProgramming languageLinear logicMathematical proofDescription logicGeometryDentistryMedicineLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems