Mathematical Logic as Based on the Theory of Types

1908/07/01 by Bertrand Russell · 13 citations
Computer Science · #Advanced Algebra and Logic #Logic, programming, and type systems #Logic, Reasoning, and Knowledge

paper · doi:10.2307/2369948

Cited by

• Ground by Status
• In Search of Types
• Logical Combinatorialism
• Could the Truths of Mathematics Have Been Different?
• Foundations of applied mathematics I
• Remarks on Primitive Regulation
• The Mirror Loop: Recursive Non-Convergence in Generative Reasoning Systems
• Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
• On the contribution of experiments to an ontology of economics
• A Metamodel for the Unified Modeling Language
• Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
• A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
• The paradox of helping: Contradictory effects of scaffolding people with aphasia to communicate. [europepmc]