Graphs of plural cuts (Q383359): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4728261 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Weakly distributive categories / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4250063 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Semantical investigations in Heyting's intuitionistic logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Untersuchungen über das logische Schliessen. I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5572939 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4680359 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4735315 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4940719 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4079581 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4159022 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Polycategories / rank | |||
Normal rank | |||
Revision as of 02:46, 7 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Graphs of plural cuts |
scientific article |
Statements
Graphs of plural cuts (English)
0 references
4 December 2013
0 references
plural sequent
0 references
multiple-conclusion sequent
0 references
plural cut
0 references
oriented graph
0 references
planarity
0 references
polycategory
0 references
0 references
