Intuitionistic Propositional Logic with Galois Negations

Article Properties
Cite
Ma, Minghui, and Guiying Li. “Intuitionistic Propositional Logic With Galois Negations”. Studia Logica, vol. 111, no. 1, 2022, pp. 21-56, https://doi.org/10.1007/s11225-022-10014-5.
Ma, M., & Li, G. (2022). Intuitionistic Propositional Logic with Galois Negations. Studia Logica, 111(1), 21-56. https://doi.org/10.1007/s11225-022-10014-5
Ma, Minghui, and Guiying Li. “Intuitionistic Propositional Logic With Galois Negations”. Studia Logica 111, no. 1 (2022): 21-56. https://doi.org/10.1007/s11225-022-10014-5.
Ma M, Li G. Intuitionistic Propositional Logic with Galois Negations. Studia Logica. 2022;111(1):21-56.
Journal Categories
Philosophy
Psychology
Religion
Philosophy (General)
Science
Mathematics
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Discrete duality for lattices with modal operators 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
 7 2019
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets International Journal of Approximate Reasoning
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Mechanical engineering and machinery
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 6 2014
Characterizing intermediate tense logics in terms of Galois connections Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 8 2014
Algebras for Galois-style connections and their discrete duality 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)
 14 2010
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 8 2009
Citations
Title Journal Journal Categories Citations Publication Date
On Heyting Algebras with Negative Tense Operators Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2023
Citations Analysis
Category Category Repetition
Science: Mathematics1
Philosophy. Psychology. Religion: Philosophy (General)1
The category Science: Mathematics 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled On Heyting Algebras with Negative Tense Operators and was published in 2023. The most recent citation comes from a 2023 study titled On Heyting Algebras with Negative Tense Operators. This article reached its peak citation in 2023, with 1 citations. It has been cited in 1 different journals. Among related journals, the Studia Logica cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year