Extensionality and logicality (Q2695031)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extensionality and logicality |
scientific article |
Statements
Extensionality and logicality (English)
0 references
30 March 2023
0 references
logicality
0 references
permutation invariance
0 references
Tarski
0 references
Sher
0 references
Barcan Marcus
0 references
extensionality
0 references
form
0 references
