The Craig interpolation property in first-order Gödel logic

Article Properties
Cite
Tavana, N.R., et al. “The Craig Interpolation Property in First-Order Gödel Logic”. Fuzzy Sets and Systems, vol. 485, p. 108958, https://doi.org/10.1016/j.fss.2024.108958.
Tavana, N., Pourmahdian, M., & Khatami, S. (n.d.). The Craig interpolation property in first-order Gödel logic. Fuzzy Sets and Systems, 485, 108958. https://doi.org/10.1016/j.fss.2024.108958
Tavana, N.R., M. Pourmahdian, and S.M.A. Khatami. “The Craig Interpolation Property in First-Order Gödel Logic”. Fuzzy Sets and Systems 485 (n.d.): 108958. https://doi.org/10.1016/j.fss.2024.108958.
Tavana N, Pourmahdian M, Khatami S. The Craig interpolation property in first-order Gödel logic. Fuzzy Sets and Systems. 485:108958.
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Probabilities
Mathematical statistics
Technology
Engineering (General)
Civil engineering (General)
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
On the classification of first order Gödel logics Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 3 2019
Failure of Interpolation in Constant Domain Intuitionistic Logic

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 6 2013
First-order Gödel logics Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 31 2007
On weak and strong interpolation in algebraic logics

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 15 2006
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 169 1957
Refrences Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science7
Science: Mathematics3
Technology: Mechanical engineering and machinery2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods1
Science: Science (General): Cybernetics: Information theory1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 7 is the most frequently represented among the references in this article. It primarily includes studies from Soft Computing and Logic Journal of the IGPL. The chart below illustrates the number of referenced publications per year.
Refrences used by this article by year