scientific article; zbMATH DE number 41225
From MaRDI portal
Publication:3994458
Recommendations
- scientific article; zbMATH DE number 1537947
- scientific article; zbMATH DE number 949397
- scientific article; zbMATH DE number 2154581
- Topological reasoning and the logic of knowledge
- Logic, topology, and integration
- Topology, connectedness, and modal logic
- scientific article; zbMATH DE number 3924775
- scientific article; zbMATH DE number 1498598
- A logic for metric and topology
- scientific article; zbMATH DE number 130897
Cited in
(only showing first 100 items - show all)- Operational domain theory and topology of sequential programming languages
- Rough concept lattices and domains
- On what ontology is and not-is
- The connected Vietoris powerlocale
- Ordinal decompositions for preordered root systems
- Vivid: a framework for heterogeneous problem solving
- A topos for algebraic quantum theory
- Duality for modal \(\mu\)-logics
- Spaces with a pretty base
- Entourage uniformities for frames
- Lower and upper power domain constructions commute on all cpos
- The mixed powerdomain
- A representation theorem for quantales
- Properly injective spaces and function spaces
- Topology, domain theory and theoretical computer science
- Exponentiable objects in the category of topological molecular lattices
- On Krull's separation lemma
- Spectral sets
- Logics and quantum gravity
- Variations on the bagdomain theme
- PCF extended with real numbers
- Stone duality and representation of stable domain
- The common order-theoretic structure of version spaces and ATMSs
- Localic sup-lattices and tropological systems.
- Some points in formal topology.
- Entailment systems for stably locally compact locales
- A universal characterization of the double powerlocale
- Incompatible empirically equivalent theories: a structural explication.
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Analysis of billiard ball computation using phase space logics
- On the semilattice of inner extensions of a fuzzy partial algebra
- On the Yoneda completion of a quasi-metric space
- Expressiveness of concept expressions in first-order description logics
- Tropological systems are points of quantales
- Private announcements on topological spaces
- Topological systems as a framework for institutions
- Quantale algebras as lattice-valued quantales
- A semantic hierarchy for intuitionistic logic
- Composite variety-based topological theories
- Natural deduction for first-order hybrid logic
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Toward an infinitary logic of domains: Abramsky logic for transition systems
- Integration in Real PCF
- Clausal logic and logic programming in algebraic domains
- At most 4 topologies can arise from iterating the de Groot dual
- Logic, topology, and integration
- Asymmetry and duality in topology
- A rational reconstruction of the domain of feature structures
- Data refinement, call by value and higher order programs
- Three-valued derived logics for classical phase spaces
- Topological reasoning and the logic of knowledge
- Categorical shape theory as a formal language for pattern recognition?
- Stably locally compact locales are dual to continuous posets
- Coverages give free constructions for partial frames
- Announcement as effort on topological spaces
- An abstract theory of physical measurements
- Hofmann-Mislove through the lenses of Priestley
- Projective points over matrices and their separability properties
- Stone dualities from opfibrations
- Lattice structures for attractors. III
- Tensor topology
- Presenting de Groot duality of stably compact spaces
- On graphs of bounded semilattices
- Thompson aggregators, Scott continuous koopmans operators, and least fixed point theory
- Some further results about uninorms on bounded lattices
- Positive monotone modal logic
- Non-Archimedean game theory: a numerical approach
- On the category of lattice-valued bornological vector spaces
- A method for constructing coreflections for nearness frames.
- Epistemic foundations for set-algebraic representations of knowledge
- Information systems for continuous posets
- Intersection types and lambda models
- Formulas on the lattice of fuzzy subalgebras in universal algebra
- Semantics of a sequential language for exact real-number computation
- Fuzzy topology via fuzzy geometric logic with graded consequence
- The Samuel compactification for quasi-uniform biframes
- An asymmetric approach to filters in strict extensions and quotients
- Sierpinski object for affine systems
- Categorical foundations of variety-based bornology
- A perspective on non-commutative frame theory
- On topological systems
- A topological approach to full belief
- Quotients of d-frames
- Categorically algebraic topology versus universal topology
- A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure.
- A Grim semantics for logics of belief
- On the computational content of the Lawson topology
- Lattice structures for attractors. I
- A topological duality for posets
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames
- Programming interfaces and basic topology
- Formal Zariski topology: Positivity and points
- A concrete realization of the Hoare powerdomain
- The compactificability classes of certain spaces
- Implication via spacetime
- Coverages on inverse semigroups
- Remarks on hyperspaces for Priestley spaces
- Radical theory of Scott-open filters
- On the geometry of physical measurements: topological and algebraic aspects
- A NOTE ON RECONSTRUCTION OF SPACES AND MAPS FROM LATTICE DATA
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 Q3994458)
