scientific article; zbMATH DE number 4152378

zbMATH Open0703.03043MaRDI QIDQ3481704FDOQ3481704

Authors: Eduardo J. Dubuc 

Publication date: 1990

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

Recommendations

• La logique des topos
• A topos-theoretic approach to reference and modality
• Toposes and intuitionistic theories of types
• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
• scientific article; zbMATH DE number 4187810

zbMATH Keywords

semanticsextensionselementary toposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55)

Cited In (4)

• Syntactic characterizations of various classes of locally presentable categories
• Toposes and intuitionistic theories of types
• La logique des topos
• Morpho-logic from a topos perspective -- application to symbolic AI

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 Q3481704)