Intermediate logics and categories

zbMATH Open1256.03033MaRDI QIDQ4907334FDOQ4907334

Authors: Fanny Milena Santamaría Ramírez 

Publication date: 1 February 2013

Recommendations

• Topologies for intermediate logics
• scientific article; zbMATH DE number 3841822
• scientific article; zbMATH DE number 3873298
• scientific article; zbMATH DE number 3880661
• scientific article; zbMATH DE number 3837996

zbMATH Keywords

intermediate logic

Mathematics Subject Classification ID

Intermediate logics (03B55) Categorical logic, topoi (03G30) Topoi (18B25) Heyting algebras (lattice-theoretic aspects) (06D20)

Cited In (4)

• Graded Hoare logic and its categorical semantics
• Topologies for intermediate logics
• Title not available (Why is that?)
• On Bourbaki's axiomatic system for set theory

This page was built for publication: Intermediate logics and categories

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