Eliminating disjunctions by disjunction elimination
From MaRDI portal
Publication:1688959
Recommendations
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions of leads-to properties
- Disjunctive elimination rule and its application in MTL
- scientific article; zbMATH DE number 1670493
- A simplification for some disjunctive formulations
- Disjunction of Boolean equations
- Representing conjunctive deductions by disjunctive deductions
- scientific article; zbMATH DE number 1670857
- Linear quantifier elimination
- Linear Quantifier Elimination
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 2184445 (Why is no real title available?)
- scientific article; zbMATH DE number 421671 (Why is no real title available?)
- scientific article; zbMATH DE number 3112788 (Why is no real title available?)
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 4029737 (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 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 3482337 (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 1302057 (Why is no real title available?)
- scientific article; zbMATH DE number 1303452 (Why is no real title available?)
- scientific article; zbMATH DE number 1082910 (Why is no real title available?)
- scientific article; zbMATH DE number 3435458 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 2174396 (Why is no real title available?)
- scientific article; zbMATH DE number 218494 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (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?)
- scientific article; zbMATH DE number 3339023 (Why is no real title available?)
- scientific article; zbMATH DE number 3099236 (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 simple proof of Parsons' theorem
- A universal Krull-Lindenbaum theorem
- Algebraische und logistische Untersuchungen über freie Verbände
- Algorithms in real algebraic geometry
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- 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
- Constructive set theory
- Continuous domains as formal spaces
- Convergence in formal topology: a unifying notion
- 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
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- Eliminating disjunctions by disjunction elimination
- Every countably presented formal topology is spatial, classically
- Finitary formal topologies and Stone's representation theorem
- Foundational aspects of theories of measurement
- 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
- L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
- Lindenbaum's lemma via open induction
- Logics with disjunction and proof by cases
- 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
- Proofs and computations
- Proofs, programs, processes
- Protoalgebraic logics
- Proving open properties by induction
- Quasi-transitive and Suzumura consistent relations
- Refined program extraction from classical proofs
- Remarks on the Scott-Lindenbaum theorem
- Representations of preference orderings
- Semantical investigations in Heyting's intuitionistic logic
- Semiorders and a Theory of Utility Discrimination
- Simple consequence relations
- Some points in formal topology.
- Space of valuations
- Suzumura consistency, an alternative approach
- Szpilrajn, Arrow and Suzumura: concise proofs of extension theorems and an extension
- Teilbarkeitstheorie in Bereichen
- The proof by cases property and its variants in structural consequence relations
- Theory of logical calculi. Basic theory of consequence operations
- 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
(24)- Eliminating disjunctions by disjunction elimination
- The Jacobson radical for an inconsistency predicate
- Searching by elimination
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- scientific article; zbMATH DE number 7379293 (Why is no real title available?)
- A universal algorithm for Krull's theorem
- Extension by conservation. Sikorski's theorem
- An unexpected Boolean connective
- The disjunctive procedure and blocker duality
- Eliminating disjunctions of leads-to properties
- Ordering groups constructively
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- Constructive proofs of negated statements
- scientific article; zbMATH DE number 5354051 (Why is no real title available?)
- Computationally Equivalent Elimination of Conditions
- Syntax for semantics: Krull's maximal ideal theorem
- Radical theory of Scott-open filters
- The Hahn-Banach theorem by disjunction elimination
- The Monotonous Elimination of Predicate Variables
- A general Glivenko-Gödel theorem for nuclei
- Point-Free Spectra of Linear Spreads
- Cut elimination for entailment relations
- The computational significance of Hausdorff's maximal chain principle
- Maximal ideals in countable rings, constructively
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 Q1688959)
