Eliminating disjunctions by disjunction elimination

DOI10.1016/J.INDAG.2017.09.011zbMATH Open1437.03163OpenAlexW2766243828MaRDI QIDQ1688959FDOQ1688959

Authors: Davide Rinaldi, Daniel Wessel, Peter Schuster 

Publication date: 12 January 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2017.09.011

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

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Other constructive mathematics (03F65) Axiom of choice and related propositions (03E25)

Cites Work

• Title not available (Why is that?)
• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A globalization of the Hahn-Banach theorem
• Theory of logical calculi. Basic theory of consequence operations
• Untersuchungen über das logische Schliessen. II
• Representations of preference orderings
• Proofs and computations
• Title not available (Why is that?)
• Semiorders and a Theory of Utility Discrimination
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithms in real algebraic geometry
• Space of valuations
• Proving open properties by induction
• Semantical investigations in Heyting's intuitionistic logic
• A course in constructive algebra
• Some points in formal topology.
• Valuations and Dedekind's Prague theorem
• Remarks on the Scott-Lindenbaum theorem
• A universal Krull-Lindenbaum theorem
• Induction in algebra: a first case study
• Foundational aspects of theories of measurement
• Lindenbaum's lemma via open induction
• A logical approach to abstract algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Title not available (Why is that?)
• Hidden constructions in abstract algebra. I: Integral dependance.
• Minimal from classical proofs
• Proof Analysis
• The proof by cases property and its variants in structural consequence relations
• Constructive set theory
• Protoalgebraic logics
• Continuous domains as formal spaces
• Title not available (Why is that?)
• Simple consequence relations
• Choice structures and preference relations
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Refined program extraction from classical proofs
• Logics with disjunction and proof by cases
• Title not available (Why is that?)
• Szpilrajn, Arrow and Suzumura: concise proofs of extension theorems and an extension
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Title not available (Why is that?)
• Title not available (Why is that?)
• A simple proof of Parsons' theorem
• Non-deterministic inductive definitions and fullness
• Finitary formal topologies and Stone's representation theorem
• Every countably presented formal topology is spatial, classically
• Proof-theoretical analysis of order relations
• Algebraische und logistische Untersuchungen über freie Verbände
• Proofs, programs, processes
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Über halbgeordnete Gruppen
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• Teilbarkeitstheorie in Bereichen
• Quasi-transitive and Suzumura consistent relations
• Title not available (Why is that?)
• Induction in algebra: a first case study
• Convergence in formal topology: a unifying notion
• Two applications of Boolean models
• Eliminating disjunctions by disjunction elimination
• Title not available (Why is that?)
• Constructive rereading of Artin-Schreier theory
• Title not available (Why is that?)
• Geometric Hahn-Banach theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Non-deterministic inductive definitions
• Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
• L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
• On a conservative extension argument of Dana Scott
• Dana Scott's work with generalized consequence relations
• Generalized geometric theories and set-generated classes
• Title not available (Why is that?)

Cited In (24)

• Maximal ideals in countable rings, constructively
• The computational significance of Hausdorff's maximal chain principle
• Extension by conservation. Sikorski's theorem
• A universal algorithm for Krull's theorem
• Title not available (Why is that?)
• Computationally Equivalent Elimination of Conditions
• Ordering groups constructively
• A general Glivenko-Gödel theorem for nuclei
• Point-Free Spectra of Linear Spreads
• 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
• Title not available (Why is that?)
• The Hahn-Banach theorem by disjunction elimination
• The disjunctive procedure and blocker duality
• Cut elimination for entailment relations
• Eliminating disjunctions by disjunction elimination
• Dynamic evaluation of integrity and the computational content of Krull's lemma
• The Monotonous Elimination of Predicate Variables
• An unexpected Boolean connective
• Syntax for semantics: Krull's maximal ideal theorem

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)