Eliminating disjunctions by disjunction elimination
type: Item
instance of: scholarly article
title: Eliminating disjunctions by disjunction elimination
zbMATH Open document ID: 1437.03163
author: Davide Rinaldi
author: Daniel Wessel
author: Peter Schuster
published in: Indagationes Mathematicae. New Series
publication date: 2018-01-12T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 03E25
zbMATH DE Number: 6825025
MaRDI profile type: Publication
full work available at URL: j.indag.2017.09.011
OpenAlex ID: W2766243828
cites work: Generalized geometric theories and set-generated classes
cites work: Simple consequence relations
cites work: Algorithms in real algebraic geometry
cites work: Q3022775
cites work: Proofs, programs, processes
cites work: Q5573965
cites work: Q3803111
cites work: Q3770650
cites work: Quasi-transitive and Suzumura consistent relations
cites work: Representations of preference orderings
cites work: Refined program extraction from classical proofs
cites work: Q5839916
cites work: Szpilrajn, Arrow and Suzumura: concise proofs of extension theorems and an extension
cites work: Q4944905
cites work: Q4247301
cites work: The proof by cases property and its variants in structural consequence relations
cites work: Convergence in formal topology: a unifying notion
cites work: Lindenbaum’s Lemma via Open Induction
cites work: Finitary formal topologies and Stone's representation theorem
cites work: Two applications of Boolean models
cites work: Geometric Hahn-Banach theorem
cites work: Space of valuations
cites work: Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
cites work: A logical approach to abstract algebra
cites work: Valuations and Dedekind's Prague theorem
cites work: Q2753679
cites work: Dynamical method in algebra: Effective Nullstellensätze
cites work: Protoalgebraic logics
cites work: Q4365300
cites work: Q3135193
cites work: Q4250063
cites work: A simple proof of Parsons' theorem
cites work: Q5615833
cites work: Semantical investigations in Heyting's intuitionistic logic
cites work: Untersuchungen über das logische Schliessen. I
cites work: Untersuchungen über das logische Schliessen. II
cites work: Choice structures and preference relations
cites work: On a conservative extension argument of Dana Scott
cites work: Q5416163
cites work: Non-Deterministic Inductive Definitions and Fullness
cites work: Q3965241
cites work: Q4783274
cites work: Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
cites work: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
cites work: Q4681899
cites work: Q5454196
cites work: Constructive rereading of Artin-Schreier theory
cites work: Hidden constructions in abstract algebra. I: Integral dependance.
cites work: Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
cites work: Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
cites work: Über halbgeordnete Gruppen
cites work: Algebraische und logistische Untersuchungen über freie Verbände
cites work: Teilbarkeitstheorie in Bereichen
cites work: Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
cites work: Q3226736
cites work: Semiorders and a Theory of Utility Discrimination
cites work: A course in constructive algebra
cites work: Q3931592
cites work: A globalization of the Hahn-Banach theorem
cites work: Constructive set theory
cites work: Q4896531
cites work: Continuous domains as formal spaces
cites work: Proof-theoretical analysis of order relations
cites work: Proof Analysis

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Remarks on the Scott-Lindenbaum theorem

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q2716044

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Proving open properties by induction

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q4805593

Eliminating disjunctions by disjunction elimination (cites work)
cites work: A universal Krull-Lindenbaum theorem

Eliminating disjunctions by disjunction elimination (cites work)
cites work: ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q3481701

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Some points in formal topology.

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Induction in Algebra: A First Case Study

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Induction in algebra: a first case study

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q5869519

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Minimal from classical proofs

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Proofs and Computations

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q4401922

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q4079581

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Foundational aspects of theories of measurement

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q5537599

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q4159022

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q4065545

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q4694207

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Q4499084

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Every countably presented formal topology is spatial, classically

Eliminating disjunctions by disjunction elimination (cites work)
cites work: L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Non-deterministic inductive definitions

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Logics with disjunction and proof by cases

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Theory of logical calculi. Basic theory of consequence operations

Eliminating disjunctions by disjunction elimination (cites work)
cites work: Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases

Eliminating disjunctions by disjunction elimination (DOI)
DOI: 10.1016/J.INDAG.2017.09.011

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
Similarity Score: 1.0000001
Recommender Run: Recommender Run 3

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: Eliminating disjunctions of leads-to properties
Similarity Score: 0.8936361
Recommender Run: Recommender Run 3

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: Disjunctive elimination rule and its application in MTL
Similarity Score: 0.866679
Recommender Run: Recommender Run 3

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: Q2753689
Similarity Score: 0.8659375
Recommender Run: Recommender Run 3

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: A simplification for some disjunctive formulations
Similarity Score: 0.8637745
Recommender Run: Recommender Run 3

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: Disjunction of Boolean equations
Similarity Score: 0.86008334
Recommender Run: Recommender Run 3

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS
Similarity Score: 0.8593677
Recommender Run: Recommender Run 3

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: Q2754181
Similarity Score: 0.8591417
Recommender Run: Recommender Run 3

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: Linear quantifier elimination
Similarity Score: 0.85548145
Recommender Run: Recommender Run 3

Eliminating disjunctions by disjunction elimination (Recommended article)
Recommended article: Linear Quantifier Elimination
Similarity Score: 0.85548145
Recommender Run: Recommender Run 3