scientific article; zbMATH DE number 4002091

zbMATH Open0618.03030MaRDI QIDQ3754618FDOQ3754618

Authors: Silvio Ghilardi, G. C. Meloni 

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

semanticsintuitionistic logicGrothendieck topology

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Cited In (2)

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

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)