Failure of Interpolation in Constant Domain Intuitionistic Logic

Article Properties
Abstract
Cite
Mints, Grigori, et al. “Failure of Interpolation in Constant Domain Intuitionistic Logic”. The Journal of Symbolic Logic, vol. 78, no. 3, 2013, pp. 937-50, https://doi.org/10.2178/jsl.7803120.
Mints, G., Olkhovikov, G., & Urquhart, A. (2013). Failure of Interpolation in Constant Domain Intuitionistic Logic. The Journal of Symbolic Logic, 78(3), 937-950. https://doi.org/10.2178/jsl.7803120
Mints G, Olkhovikov G, Urquhart A. Failure of Interpolation in Constant Domain Intuitionistic Logic. The Journal of Symbolic Logic. 2013;78(3):937-50.
Journal Category
Science
Mathematics
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Semantic construction of intuitionistic logic 1956
Semantic construction of intuitionistic logic 1983
Semantic construction of intuitionistic logic 1981
Semantic construction of intuitionistic logic 1979
Semantic construction of intuitionistic logic 1977
Citations
Title Journal Journal Categories Citations Publication Date
Definite totalities and determinate truth in conceptual structuralism

 Synthese
  • Philosophy. Psychology. Religion: Philosophy (General)
  • Philosophy. Psychology. Religion: Philosophy (General)
  • Social Sciences
 2024
The Craig interpolation property in first-order Gödel logic 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
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC

 The Review of Symbolic Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2022
Multicomponent proof-theoretic method for proving interpolation properties Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 4 2018
Ten problems in Gödel logic Soft Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • 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
 3 2016
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science3
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods3
Science: Mathematics3
Philosophy. Psychology. Religion: Philosophy (General)2
Science: Mathematics: Probabilities. Mathematical statistics1
Technology: Engineering (General). Civil engineering (General)1
Social Sciences1
Technology: Mechanical engineering and machinery1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 3 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Ten problems in Gödel logic and was published in 2016. The most recent citation comes from a 2024 study titled The Craig interpolation property in first-order Gödel logic. This article reached its peak citation in 2024, with 2 citations. It has been cited in 6 different journals, 16% of which are open access. Among related journals, the Fuzzy Sets and Systems 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