scientific article; zbMATH DE number 936267

MaRDI QIDQ4895873zbMATH OpenFDO

Authors Norman M. Martin, Stephen Pollard

Publication date 16 October 1996

zbMATH Keywords

closure spacesclosure operations

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Topological spaces and generalizations (closure spaces, etc.) (54A05) General logic (03B99)

Recommendations

• Closure
• A conjunction in closure spaces
• Universality of the closure space of filters in the algebra of all subsets
• Publication:4946088

Cited in

(22)

• Surmise relations between tests -- preliminary results of the mathematical modeling
• The expressive unary truth functions of \(n\)-valued logic
• The stone representations for generalized continuous posets
• Distributivity of a segmentation lattice
• scientific article; zbMATH DE number 6287647 (Why is no real title available?)
• Formalising basic topology for computational logic in simple type theory
• Maximal elements with minimal logic
• A syntactic approach to closure operation
• On the idea(l) of logical closure
• On bases of closure operators on complete lattices
• A conjunction in closure spaces
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
• What is a logical theory? On theories containing assertions and denials
• The presence of lattice theory in discrete problems of mathematical social sciences. Why.
• The expressive truth conditions of two-valued logic
• Minimally generated abstract logics
• Non-deterministic ideal operators: an adequate tool for formalization in data bases
• The FE-closure operator in countable-valued logic
• A note on closure spaces determined by intersections
• Moore systems and Moore convergence classes of families of nets
• Homeomorphism and the equivalence of logical systems
• Disjunctions in closure spaces

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