PARTIALLY ORDERED CONNECTIVES (Q4295216)
From MaRDI portal
scientific article; zbMATH DE number 584618
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PARTIALLY ORDERED CONNECTIVES |
scientific article; zbMATH DE number 584618 |
Statements
PARTIALLY ORDERED CONNECTIVES (English)
0 references
8 June 1994
0 references
coherent theory of partially ordered connectives
0 references
partially ordered quantification
0 references
expressive power
0 references
Ehrenfeucht games
0 references
infinitary logic
0 references
undefinability
0 references
