From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337)
From MaRDI portal
scientific article; zbMATH DE number 6766466
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From (Paraconsistent) Topos Logic to Universal (Topos) Logic |
scientific article; zbMATH DE number 6766466 |
Statements
From (Paraconsistent) Topos Logic to Universal (Topos) Logic (English)
0 references
28 August 2017
0 references
standard topos
0 references
complement-topos
0 references
bare topos
0 references
bare internal logic
0 references
