Correspondences between gentzen and hilbert systems

Article Properties
Abstract
Cite
Raftery, J.G. “Correspondences Between Gentzen and Hilbert Systems”. The Journal of Symbolic Logic, vol. 71, no. 3, 2006, pp. 903-57, https://doi.org/10.2178/jsl/1154698583.
Raftery, J. (2006). Correspondences between gentzen and hilbert systems. The Journal of Symbolic Logic, 71(3), 903-957. https://doi.org/10.2178/jsl/1154698583
Raftery J. Correspondences between gentzen and hilbert systems. The Journal of Symbolic Logic. 2006;71(3):903-57.
Journal Category
Science
Mathematics
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
A Closer Look at Some Subintuitionistic Logics Notre Dame Journal of Formal Logic
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 23 2001
On the algebraization of some Gentzen systems 1993
Fully adequate Gentzen systems and the deduction theorem 2001
A finitary 1 –equivalential logic not finitely equivalential 1995
10.1093/oso/9780198537779.003.0004 1993
Citations
Title Journal Journal Categories Citations Publication Date
Structural and universal completeness in algebra and logic Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 2024
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2023
Intuitionistic Logic is a Connexive Logic

 Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 3 2023
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras Logica Universalis
  • Science: Mathematics
  • Science: Mathematics
 1 2022
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM 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
Citations Analysis
Category Category Repetition
Science: Mathematics25
Philosophy. Psychology. Religion: Philosophy (General)12
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods10
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
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 Logics Preserving Degrees of Truth from Varieties of Residuated Lattices and was published in 2009. The most recent citation comes from a 2024 study titled Structural and universal completeness in algebra and logic. This article reached its peak citation in 2019, with 5 citations. It has been cited in 10 different journals. Among related journals, the Studia Logica cited this research the most, with 8 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year