scientific article

zbMath1330.03097MaRDI QIDQ3466602

Luis Estrada-Gonzáles

Publication date: 1 February 2016

Full work available at URL: http://ojs.victoria.ac.nz/ajl/article/view/1819/1669

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

dual intuitionistic logiccomplement-topos logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ Connexive negation ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Structuring co-constructive logic for proofs and refutations

This page was built for publication: