The Normal and Self-extensional Extension of Dunn–Belnap Logic
Arnon Avron
Topics & Concepts
Extensional definitionExtension (predicate logic)Programming languageComputer scienceMathematicsGeologyPaleontologyTectonicsAdvanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems