scientific article; zbMATH DE number 4002091

zbMATH Open0618.03030MaRDI QIDQ3754618FDOQ3754618

Authors Silvio Ghilardi, G. C. Meloni

Publication date 1985

zbMATH Keywords

semanticsintuitionistic logicGrothendieck topology

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Cited in

(2)

• Local collection and end-extensions of models of compositional truth
• Notions of locality and their logical characterizations over finite models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3754618)