Hyper-MacNeille Completions of Heyting Algebras

Article Properties
Cite
Harding, J., and F. M. Lauridsen. “Hyper-MacNeille Completions of Heyting Algebras”. Studia Logica, vol. 109, no. 5, 2021, pp. 1119-57, https://doi.org/10.1007/s11225-021-09941-6.
Harding, J., & Lauridsen, F. M. (2021). Hyper-MacNeille Completions of Heyting Algebras. Studia Logica, 109(5), 1119-1157. https://doi.org/10.1007/s11225-021-09941-6
Harding J, Lauridsen FM. Hyper-MacNeille Completions of Heyting Algebras. Studia Logica. 2021;109(5):1119-57.
Journal Categories
Philosophy
Psychology
Religion
Philosophy (General)
Science
Mathematics
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Intermediate Logics Admitting a Structural Hypersequent Calculus Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2 2019
Sheaves and duality Journal of Pure and Applied Algebra
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
 5 2018
Algebraic proof theory: Hypersequents and hypercompletions Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 8 2017
10.1090/S0002-9947-2012-05573-5 Transactions of the American Mathematical Society
  • Science: Mathematics
 2013
Algorithmic correspondence and canonicity for distributive modal logic Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 44 2012
Refrences Analysis
Category Category Repetition
Science: Mathematics37
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods6
Science: Mathematics: Instruments and machines: Electronic computers. Computer science4
Philosophy. Psychology. Religion: Philosophy (General)3
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware2
Science: Science (General)2
The category Science: Mathematics 37 is the most frequently represented among the references in this article. It primarily includes studies from Algebra universalis The chart below illustrates the number of referenced publications per year.
Refrences used by this article by year