First-order Gödel logics

Article Properties
Cite
Baaz, Matthias, et al. “First-Order Gödel Logics”. Annals of Pure and Applied Logic, vol. 147, no. 1-2, 2007, pp. 23-47, https://doi.org/10.1016/j.apal.2007.03.001.
Baaz, M., Preining, N., & Zach, R. (2007). First-order Gödel logics. Annals of Pure and Applied Logic, 147(1-2), 23-47. https://doi.org/10.1016/j.apal.2007.03.001
Baaz M, Preining N, Zach R. First-order Gödel logics. Annals of Pure and Applied Logic. 2007;147(1-2):23-47.
Journal Categories
Science
Mathematics
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
A non-arithmetical Gödel logic Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 7 2005
Completeness of a first-order temporal logic with time-gaps Theoretical Computer Science
  • 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
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 8 1996
Another proof of the strong completeness of the intuitionistic fuzzy logic Tsukuba Journal of Mathematics
  • Science: Mathematics
 7 1987
Logic with truth values in A linearly ordered heyting algebra

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 61 1969
Linear Kripke frames and Gödel logics

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 9 2007
Citations
Title Journal Journal Categories Citations Publication Date
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
The Löwenheim-Skolem theorem for Gödel logic Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 2023
Nested sequents for intermediate logics: the case of Gödel-Dummett logics Journal of Applied Non-Classical Logics 2023
One-variable fragments of intermediate logics over linear frames Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • 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 2022
EPSILON THEOREMS IN INTERMEDIATE LOGICS

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 1 2022
Citations Analysis
Category Category Repetition
Science: Mathematics25
Science: Mathematics: Instruments and machines: Electronic computers. Computer science16
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods9
Philosophy. Psychology. Religion: Philosophy (General)6
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software4
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware4
Science: Mathematics: Probabilities. Mathematical statistics1
Technology: Engineering (General). Civil engineering (General)1
Philosophy. Psychology. Religion: Logic1
Language and Literature: Philology. Linguistics1
Technology: Mechanical engineering and machinery1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics1
The category Science: Mathematics 25 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice and was published in 2009. 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 2009, with 5 citations. It has been cited in 17 different journals, 5% of which are open access. Among related journals, the Journal of Logic and Computation cited this research the most, with 9 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year