Derivability and Metainferential Validity
Bruno Da Ré, Damián Szmuc, Paula Teijeiro
Topics & Concepts
Transitive relationMathematicsContext (archaeology)Focus (optics)ReflexivitySociologyCombinatoricsPaleontologyPhysicsOpticsSocial scienceBiologyAdvanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems