scientific article; zbMATH DE number 4114627

zbMATH Open0681.03044MaRDI QIDQ4729784FDOQ4729784

Authors: Andreas Blass 

Publication date: 1988

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

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

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)

Cited In (8)

• Topo-logie
• One Useful Logic That Defines Its Own Truth
• Effective topos as a synthetic universe for the theory of computation
• Title not available (Why is that?)
• Functional Thesauri, Classifying Topoi, Unification, and Flatness
• Topological completeness for higher-order logic
• Title not available (Why is that?)
• Existential fixed-point logic, universal quantifiers, and topoi

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)