Disjunctive and conjunctive multiple-conclusion consequence relations (Q2027207)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Disjunctive and conjunctive multiple-conclusion consequence relations |
scientific article |
Statements
Disjunctive and conjunctive multiple-conclusion consequence relations (English)
0 references
25 May 2021
0 references
closure operation
0 references
closure system
0 references
multiple-conclusion consequence relation
0 references
Galois connection
0 references
