scientific article; zbMATH DE number 4114627

MaRDI QIDQ4729784zbMATHFDO

Authors Andreas Blass

Publication date 1988

zbMATH Keywords

type theorygeometric logicGrothendieck topoiHoare logicProloghigher-order intuitionistic logicexistential fixed-point logicelementary topoi

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Abstract data types; algebraic specification (68Q65)

Recommendations

• La logique des topos
• Topological completeness for higher-order logic
• scientific article; zbMATH DE number 1497740
• scientific article; zbMATH DE number 1840601
• Effective topos as a synthetic universe for the theory of computation

Cited in

(8)

• scientific article; zbMATH DE number 4114620 (Why is no real title available?)
• One Useful Logic That Defines Its Own Truth
• Topo-logie
• Effective topos as a synthetic universe for the theory of computation
• Topological completeness for higher-order logic
• Existential fixed-point logic, universal quantifiers, and topoi
• scientific article; zbMATH DE number 431773 (Why is no real title available?)
• Functional Thesauri, Classifying Topoi, Unification, and Flatness

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