scientific article; zbMATH DE number 1420837
From MaRDI portal
Publication:4944905
Recommendations
- Cut elimination for entailment relations
- Point-Free Spectra of Linear Spreads
- The Heyting arrow lattice for qualitative relations in biological systems
- A note on the correspondence among entail relations, rough set dependencies, and logical consequence
- The syntax and semantics of entailment in duality theory
Cited in
(61)- A topos for algebraic quantum theory
- The Heyting arrow lattice for qualitative relations in biological systems
- Compact spaces and distributive lattices.
- A representation of stably compact spaces, and patch topology.
- Some points in formal topology.
- Entailment systems for stably locally compact locales
- A note on the correspondence among entail relations, rough set dependencies, and logical consequence
- Eliminating disjunctions by disjunction elimination
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- A syntactical proof of the Marriage Lemma.
- On a new idiom in the study of entailment
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- The Hahn-Banach theorem by disjunction elimination
- A note on connected reduced rings
- Towards formal Baer criteria
- The computational significance of Hausdorff's maximal chain principle
- Presenting de Groot duality of stably compact spaces
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Ribenboim's order extension theorem from a constructive point of view
- Cut elimination for entailment relations
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- On the collection of points of a formal space
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- Formal Zariski topology: Positivity and points
- A universal algorithm for Krull's theorem
- scientific article; zbMATH DE number 1670483 (Why is no real title available?)
- Point-Free Spectra of Linear Spreads
- Rough Set Theory: Ontological Systems, Entailment Relations and Approximation Operators
- scientific article; zbMATH DE number 4097356 (Why is no real title available?)
- Bohrification of operator algebras and quantum logic
- Extension by conservation. Sikorski's theorem
- Lorenzen and constructive mathematics
- Syntax for semantics: Krull's maximal ideal theorem
- Regular entailment relations
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Spectral spaces versus distributive lattices: a dictionary
- Ordering groups constructively
- Eliminating disjunctions by disjunction elimination
- Logics for extended distributive contact lattices
- Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
- Compact Hausdorff locales in presheaf toposes
- Valuative Lattices and Spectra
- Valuative dimension, constructive points of view
- Locatedness and overt sublocales
- A general Glivenko-Gödel theorem for nuclei
- An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
- A constructive proof of the general Nullstellensatz for Jacobson rings
- Conservation as translation
- Vietoris endofunctor for closed relations and its de Vries dual
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
- Structural entailment
- Exact approximations to Stone-Čech compactification
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
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 Q4944905)
