Disjunctive and conjunctive multiple-conclusion consequence relations (Q2027207)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Disjunctive and conjunctive multiple-conclusion consequence relations |
scientific article; zbMATH DE number 7350838
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Disjunctive and conjunctive multiple-conclusion consequence relations |
scientific article; zbMATH DE number 7350838 |
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
0.99299943
0 references
0.9094775
0 references
0 references
0.8854331
0 references
0.8765014
0 references
0.8761357
0 references
0.8693434
0 references
