scientific article; zbMATH DE number 1537947

MaRDI QIDQ4518822zbMATH OpenFDO

Authors Steven Vickers

Publication date 5 February 2001

zbMATH Keywords

geometric logicspecificationtopology

Mathematics Subject Classification ID

Logic in computer science (03B70) Intuitionistic mathematics (03F55) Categorical logic, topoi (03G30) Topoi (18B25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Continuity and geometric logic
• scientific article; zbMATH DE number 1555466
• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
• Some points in formal topology.
• scientific article; zbMATH DE number 41225

Cited in

(16)

• Logic, topology, and integration
• Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
• Fuzzy topology via fuzzy geometric logic with graded consequence
• Towards a theory of contextual topology
• Continuity and geometric logic
• Topological perspective on the hybrid proof rules
• scientific article; zbMATH DE number 4160159 (Why is no real title available?)
• Topological Semantics of Justification Logic
• The topology of justification
• scientific article; zbMATH DE number 3924775 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1555466 (Why is no real title available?)
• scientific article; zbMATH DE number 2103277 (Why is no real title available?)
• Exceptional values of p-Adic Derivatives, a survey with some improvements
• Formalising basic topology for computational logic in simple type theory
• Ring ideals and the Stone-Čech compactification in pointfree topology

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