Admissible rules in the implication–negation fragment of intuitionistic logic

Article Properties
Cite
Cintula, Petr, and George Metcalfe. “Admissible Rules in the implication–negation Fragment of Intuitionistic Logic”. Annals of Pure and Applied Logic, vol. 162, no. 2, 2010, pp. 162-71, https://doi.org/10.1016/j.apal.2010.09.001.
Cintula, P., & Metcalfe, G. (2010). Admissible rules in the implication–negation fragment of intuitionistic logic. Annals of Pure and Applied Logic, 162(2), 162-171. https://doi.org/10.1016/j.apal.2010.09.001
Cintula P, Metcalfe G. Admissible rules in the implication–negation fragment of intuitionistic logic. Annals of Pure and Applied Logic. 2010;162(2):162-71.
Journal Categories
Science
Mathematics
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Admissible Rules of Lukasiewicz Logic Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 27 2010
Proof theory for admissible rules Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 31 2009
Structural Completeness in Fuzzy Logics Notre Dame Journal of Formal Logic
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 23 2009
Structural Completeness in Substructural Logics Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 33 2008
Complexity of admissible rules Archive for Mathematical Logic
  • Science: Mathematics
  • Science: Mathematics
 25 2007
Refrences Analysis
Category Category Repetition
Science: Mathematics6
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science2
Philosophy. Psychology. Religion: Philosophy (General)1
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware1
The category Science: Mathematics 6 is the most frequently represented among the references in this article. It primarily includes studies from Annals of Pure and Applied Logic The chart below illustrates the number of referenced publications per year.
Refrences used by this article by year
Citations
Title Journal Journal Categories Citations Publication Date
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 2023
Structural Completeness in Many-Valued Logics with Rational Constants Notre Dame Journal of Formal Logic
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 1 2022
Unification with parameters in the implication fragment of classical propositional logic

 Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 1 2021
Singly generated quasivarieties and residuated structures

 Mathematical Logic Quarterly
  • Science: Mathematics
  • Science: Mathematics
 7 2020
Sugihara algebras: Admissibility algebras via the test spaces method Journal of Pure and Applied Algebra
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
 1 2020
Citations Analysis
Category Category Repetition
Science: Mathematics25
Philosophy. Psychology. Religion: Philosophy (General)10
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods7
Science: Mathematics: Instruments and machines: Electronic computers. Computer science5
Technology: Mechanical engineering and machinery2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware1
The category Science: Mathematics 25 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Algebraic semantics for the (↔, ¬¬)‐fragment of IPC and was published in 2011. The most recent citation comes from a 2023 study titled MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS. This article reached its peak citation in 2016, with 7 citations. It has been cited in 14 different journals. Among related journals, the Notre Dame Journal of Formal Logic cited this research the most, with 6 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year