scientific article; zbMATH DE number 4120169

MaRDI QIDQ4733864zbMATH OpenFDO

Authors Andreas Blass

Publication date 1989

zbMATH Keywords

elementary toposexistential fixed-point logicgeometric morphisms of topoi

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• Geometric Rules in Infinitary Logic
• A characterization theorem for geometric logic
• scientific article; zbMATH DE number 5046775
• Geometry of Robinson consistency in Łukasiewicz logic
• Geometrisation of first-order logic
• The geometry of non-distributive logics
• scientific article; zbMATH DE number 3863195
• Geometrical structures and modal logic
• scientific article; zbMATH DE number 7166981
• Point-free foundation of geometry and multivalued logic

Cited in

(4)

• Forking geometry on theories with an independent predicate
• Multi-valued Logic for a Point-Free Foundation of Geometry
• Existential fixed-point logic, universal quantifiers, and topoi
• One Useful Logic That Defines Its Own Truth

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