Eliminating disjunctions by disjunction elimination

Article Properties
Journal Category
Science
Mathematics
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction History and Philosophy of Logic
  • Philosophy. Psychology. Religion: Philosophy (General)
  • Philosophy. Psychology. Religion: Philosophy (General)
  • Science: Mathematics
  • History (General) and history of Europe: History (General)
  • Social Sciences
 9 2017
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION

 The Bulletin of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 13 2017
Generalized geometric theories and set-generated classes 2015
Remarks on the Scott–Lindenbaum Theorem Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 7 2014
The Proof by Cases Property and its Variants in Structural Consequence Relations Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 22 2013
Citations
Title Journal Journal Categories Citations Publication Date
Reifying dynamical algebra: Maximal ideals in countable rings, constructively

 Computability
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
 2024
Radical theory of Scott-open filters Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2 2023
A universal algorithm for Krull's theorem Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 3 2022
Dynamic evaluation of integrity and the computational content of Krull's lemma Journal of Pure and Applied Algebra
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
 3 2022
The Jacobson radical for an inconsistency predicate

 Computability
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
 2022
Citations Analysis
Category Category Repetition
Science: Mathematics6
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware2
The category Science: Mathematics 6 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Cut elimination for entailment relations and was published in 2018. The most recent citation comes from a 2024 study titled Reifying dynamical algebra: Maximal ideals in countable rings, constructively. This article reached its peak citation in 2022, with 4 citations. It has been cited in 12 different journals, 8% of which are open access. Among related journals, the Computability cited this research the most, with 2 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year