Ultravaluations and their applications in \textsf{CPL} (Q6054105)
From MaRDI portal
scientific article; zbMATH DE number 7753868
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ultravaluations and their applications in \textsf{CPL} |
scientific article; zbMATH DE number 7753868 |
Statements
Ultravaluations and their applications in \textsf{CPL} (English)
0 references
24 October 2023
0 references
ultravaluations
0 references
classical propositional logic
0 references
ultraproduct
0 references
compactness
0 references
definability
0 references
