Intermediate logics and categories

MaRDI QIDQ4907334zbMATH OpenFDO

Authors Fanny Milena Santamaría Ramírez

Publication date 1 February 2013

zbMATH Keywords

intermediate logic

Mathematics Subject Classification ID

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

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

Cited in

(4)

• Graded Hoare logic and its categorical semantics
• Topologies for intermediate logics
• scientific article; zbMATH DE number 1157015 (Why is no real title available?)
• 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)