Hypothesis-Discharging Rules in Atomic Bases (Q5213617)
From MaRDI portal
scientific article; zbMATH DE number 7162492
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hypothesis-Discharging Rules in Atomic Bases |
scientific article; zbMATH DE number 7162492 |
Statements
Hypothesis-Discharging Rules in Atomic Bases (English)
0 references
4 February 2020
0 references
assumption
0 references
atomic inference rule
0 references
discharge
0 references
extension
0 references
hypothesis
0 references
inference
0 references
validity
0 references
