Concept
Admissible rule
Overview
logic reasoning rule that is correctly usable is some logic
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Finite set
- If and only if
- Propositional variable
- Negation
- Intuitionistic logic
- Logical conjunction
- Logical connective
- Propositional logic
- Proof theory
- Modus ponens
- Reflexive relation
- Rule of inference
- Sequent calculus
- Theorem
- Computably enumerable set
- Modal logic
- Singleton (mathematics)
- Formal system
- Well-formed formula
- Logic
- Classical logic
- Countable set
- Hilary Putnam
- Computational complexity theory
Place in the tradition
Part of Noncommutative logic.