Disjunctive Multiple-Conclusion Consequence Relations (Q5126201)
From MaRDI portal
scientific article; zbMATH DE number 7261563
Language | Label | Description | Also known as |
---|---|---|---|
English | Disjunctive Multiple-Conclusion Consequence Relations |
scientific article; zbMATH DE number 7261563 |
Statements
Disjunctive Multiple-Conclusion Consequence Relations (English)
0 references
15 October 2020
0 references
multiple-conclusion consequence relation
0 references
closure operation
0 references
Galois connection
0 references