Slanted Canonicity of Analytic Inductive Inequalities

Article Properties
Abstract
Cite
De Rudder, Laurent, and Alessandra Palmigiano. “Slanted Canonicity of Analytic Inductive Inequalities”. ACM Transactions on Computational Logic, vol. 22, no. 3, 2021, pp. 1-41, https://doi.org/10.1145/3460973.
De Rudder, L., & Palmigiano, A. (2021). Slanted Canonicity of Analytic Inductive Inequalities. ACM Transactions on Computational Logic, 22(3), 1-41. https://doi.org/10.1145/3460973
De Rudder, Laurent, and Alessandra Palmigiano. “Slanted Canonicity of Analytic Inductive Inequalities”. ACM Transactions on Computational Logic 22, no. 3 (2021): 1-41. https://doi.org/10.1145/3460973.
De Rudder L, Palmigiano A. Slanted Canonicity of Analytic Inductive Inequalities. ACM Transactions on Computational Logic. 2021;22(3):1-41.
Journal Categories
Science
Mathematics
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
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Unified correspondence as a proof-theoretic tool 2018
Sahlqvist theory for impossible worlds 2017
Precontact relations and quasi-modal operators in Boolean algebras. In Actas Del XIII Congreso “Dr. Antonio A. R. Monteiro 2016
Wijnberg 2020
Constructive canonicity of inductive inequalities. Logical Methods in Computer Science 2020
Citations
Title Journal Journal Categories Citations Publication Date
Modal reduction principles across relational semantics Fuzzy Sets and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Probabilities. Mathematical statistics
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
 2024
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 2023
Correspondence and canonicity theory of quasi-inequalities andΠ2-statements in modal subordination algebras

 Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 2023
Linear Logic Properly Displayed

 ACM Transactions on Computational Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • 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
 1 2023
Syntactic Completeness of Proper Display Calculi

 ACM Transactions on Computational Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • 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
Citations Analysis
Category Category Repetition
Science: Mathematics5
Science: Mathematics: Instruments and machines: Electronic computers. Computer science3
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware2
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Science: Mathematics: Probabilities. Mathematical statistics1
Technology: Engineering (General). Civil engineering (General)1
The category Science: Mathematics 5 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Syntactic Completeness of Proper Display Calculi and was published in 2022. The most recent citation comes from a 2024 study titled Modal reduction principles across relational semantics. This article reached its peak citation in 2023, with 3 citations. It has been cited in 4 different journals. Among related journals, the ACM Transactions on Computational Logic 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