scientific article; zbMATH DE number 936267

zbMath0855.54001MaRDI QIDQ4895873

Norman M. Martin, Stephen Pollard

Publication date: 16 October 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (16)

The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey ⋮ The expressive truth conditions of two-valued logic ⋮ Unnamed Item ⋮ Minimally generated abstract logics ⋮ Distributivity of a segmentation lattice ⋮ What is a logical theory? On theories containing assertions and denials ⋮ On bases of closure operators on complete lattices ⋮ A note on closure spaces determined by intersections ⋮ Formalising basic topology for computational logic in simple type theory ⋮ Maximal elements with minimal logic ⋮ The stone representations for generalized continuous posets ⋮ The presence of lattice theory in discrete problems of mathematical social sciences. Why. ⋮ Non-deterministic ideal operators: an adequate tool for formalization in data bases ⋮ Homeomorphism and the equivalence of logical systems ⋮ The expressive unary truth functions of \(n\)-valued logic ⋮ Moore systems and Moore convergence classes of families of nets

This page was built for publication: