Eliminating disjunctions by disjunction elimination
From MaRDI portal
Publication:5363372
Recommendations
Cites work
- scientific article; zbMATH DE number 1601019 (Why is no real title available?)
- scientific article; zbMATH DE number 1670483 (Why is no real title available?)
- scientific article; zbMATH DE number 421671 (Why is no real title available?)
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3745447 (Why is no real title available?)
- scientific article; zbMATH DE number 3497860 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 1201576 (Why is no real title available?)
- scientific article; zbMATH DE number 1302057 (Why is no real title available?)
- scientific article; zbMATH DE number 1082910 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 937390 (Why is no real title available?)
- scientific article; zbMATH DE number 1420837 (Why is no real title available?)
- scientific article; zbMATH DE number 5255345 (Why is no real title available?)
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- A course in constructive algebra
- A globalization of the Hahn-Banach theorem
- A logical approach to abstract algebra
- A universal Krull-Lindenbaum theorem
- Algebraische und logistische Untersuchungen über freie Verbände
- Algorithms in real algebraic geometry
- Choice structures and preference relations
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Constructive rereading of Artin-Schreier theory
- Continuous domains as formal spaces
- Dana Scott's work with generalized consequence relations
- Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- Dynamical method in algebra: Effective Nullstellensätze
- Finitary formal topologies and Stone's representation theorem
- Generalized geometric theories and set-generated classes
- Geometric Hahn-Banach theorem
- Hidden constructions in abstract algebra. I: Integral dependance.
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Induction in algebra: a first case study
- Induction in algebra: a first case study
- Lindenbaum's lemma via open induction
- Logic at work. Essays dedicated to the memory of Helena Rasiowa
- Minimal from classical proofs
- Non-deterministic inductive definitions
- Non-deterministic inductive definitions and fullness
- On a conservative extension argument of Dana Scott
- Proof Analysis
- Proof-theoretical analysis of order relations
- Proving open properties by induction
- Remarks on the Scott-Lindenbaum theorem
- Semantical investigations in Heyting's intuitionistic logic
- Simple consequence relations
- Space of valuations
- Teilbarkeitstheorie in Bereichen
- Theory of logical calculi. Basic theory of consequence operations
- Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics
- Two applications of Boolean models
- Untersuchungen über das logische Schliessen. I
- Untersuchungen über das logische Schliessen. II
- Valuations and Dedekind's Prague theorem
- Über halbgeordnete Gruppen
Cited in
(26)- Syntax for semantics: Krull's maximal ideal theorem
- Maximal ideals in countable rings, constructively
- The computational significance of Hausdorff's maximal chain principle
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Extension by conservation. Sikorski's theorem
- A universal algorithm for Krull's theorem
- scientific article; zbMATH DE number 5354051 (Why is no real title available?)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Computationally Equivalent Elimination of Conditions
- Ordering groups constructively
- Lindenbaum's lemma via open induction
- A general Glivenko-Gödel theorem for nuclei
- Eliminating disjunctions of leads-to properties
- Constructive proofs of negated statements
- The Jacobson radical for an inconsistency predicate
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Radical theory of Scott-open filters
- Searching by elimination
- A note on connected reduced rings
- The Hahn-Banach theorem by disjunction elimination
- The disjunctive procedure and blocker duality
- Cut elimination for entailment relations
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- Eliminating disjunctions by disjunction elimination
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- The Monotonous Elimination of Predicate Variables
This page was built for publication: Eliminating disjunctions by disjunction elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5363372)
