scientific article; zbMATH DE number 2064307

zbMath1041.03054MaRDI QIDQ4461808

Marcelo E. Coniglio

Publication date: 18 May 2004

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

zbMATH Keywords

quantalesheavefirst-order many-sorted logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Quantales (06F07) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Basic properties of first-order languages and structures (03C07)

Related Items (2)

Modules in the category of sheaves over quantales ⋮ On sheaf cohomology and natural expansions

This page was built for publication: