WHAT IS A RULE OF INFERENCE? (Q6193397)
From MaRDI portal
scientific article; zbMATH DE number 7819575
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | WHAT IS A RULE OF INFERENCE? |
scientific article; zbMATH DE number 7819575 |
Statements
WHAT IS A RULE OF INFERENCE? (English)
0 references
16 March 2024
0 references
classical logic
0 references
intuitionistic logic
0 references
minimal logic
0 references
core logic
0 references
proof systems
0 references
rules of inference
0 references
self-reference
0 references
impredicative definitions
0 references
inductive definition of proof
0 references
Horn clauses
0 references
modus ponens
0 references
discharge of assumptions
0 references
parallelized elimination rules
0 references
classical rules of negation
0 references
0 references
