Deductive systems with unified multiple-conclusion rules (Q5061418)
From MaRDI portal
scientific article; zbMATH DE number 7641258
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deductive systems with unified multiple-conclusion rules |
scientific article; zbMATH DE number 7641258 |
Statements
Deductive systems with unified multiple-conclusion rules (English)
0 references
12 January 2023
0 references
propositional logic
0 references
logic with refutation
0 references
deductive system with rejection
0 references
multiple conclusion rules
0 references
