Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744)
From MaRDI portal
scientific article; zbMATH DE number 7734046
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Morpho-logic from a topos perspective -- application to symbolic AI |
scientific article; zbMATH DE number 7734046 |
Statements
Morpho-logic from a topos perspective -- application to symbolic AI (English)
0 references
4 September 2023
0 references
mathematical morphology
0 references
topos
0 references
constructive modal logic
0 references
neighborhood semantics
0 references
symbolic reasoning
0 references
0 references
0 references
0 references
0 references
