Argument

Decidability (logic)

Overview

property of theories that have computable membership

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Decidability (logic)

• Rudolf Carnap
• Alfred Tarski

Related ideas

• First-order logic
• Gödel's completeness theorem
• Effective method
• Computability theory
• Propositional logic
• Group (mathematics)
• Rational number
• Validity (logic)
• Natural number
• Peano axioms
• Truth table
• Second-order logic
• Logical consequence
• Formal system
• Type theory
• Paraconsistent logic
• Arity
• Logic
• Syntax (logic)
• Higher-order logic
• Linear logic
• Alfred Tarski
• Church–Turing thesis
• Signature (logic)

Place in the tradition

Part of Affine logic.

Explore Decidability (logic) in the interactive graph →