Proof search on bilateralist judgments over non-deterministic semantics (Q2142069)
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: Proof search on bilateralist judgments over non-deterministic semantics |
scientific article; zbMATH DE number 7532513
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof search on bilateralist judgments over non-deterministic semantics |
scientific article; zbMATH DE number 7532513 |
Statements
Proof search on bilateralist judgments over non-deterministic semantics (English)
0 references
25 May 2022
0 references
bilateralism
0 references
two-dimensional consequence
0 references
proof search
0 references
0 references
0 references
0 references
0.89573735
0 references
0.86839247
0 references
0.85542715
0 references
0.8533403
0 references
0.8513349
0 references
0.8508594
0 references
