Boolean dependence logic and partially-ordered connectives (Q2361349)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6737603
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Boolean dependence logic and partially-ordered connectives |
scientific article; zbMATH DE number 6737603 |
Statements
Boolean dependence logic and partially-ordered connectives (English)
0 references
30 June 2017
0 references
dependence logic
0 references
partially-ordered connectives
0 references
expressivity
0 references
existential second-order logic
0 references
0 references
0.9864582419395448
0 references
0.759077250957489
0 references
0.7503858804702759
0 references
0.7481585741043091
0 references
0.7413155436515808
0 references
