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