POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585)
From MaRDI portal
scientific article; zbMATH DE number 7827893
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION |
scientific article; zbMATH DE number 7827893 |
Statements
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (English)
0 references
5 April 2024
0 references
polyhedral semantics
0 references
nerve criterion
0 references
nerve
0 references
starlike tree
0 references
polyhedron
0 references
intermediate logic
0 references
modal logic
0 references
Jankov-Fine formula
0 references
triangulation
0 references
rational polyhedron
0 references
barycentric subdivision
0 references
graded poset
0 references
geometric realisation
0 references
\(p\)-morphism
0 references
0 references
0 references
