Intuitionistic Logic is a Connexive Logic

Article Properties
Abstract
Cite
Fazio, Davide, et al. “Intuitionistic Logic Is a Connexive Logic”. Studia Logica, vol. 112, no. 1-2, 2023, pp. 95-139, https://doi.org/10.1007/s11225-023-10044-7.
Fazio, D., Ledda, A., & Paoli, F. (2023). Intuitionistic Logic is a Connexive Logic. Studia Logica, 112(1-2), 95-139. https://doi.org/10.1007/s11225-023-10044-7
Fazio D, Ledda A, Paoli F. Intuitionistic Logic is a Connexive Logic. Studia Logica. 2023;112(1-2):95-139.
Journal Categories
Philosophy
Psychology
Religion
Philosophy (General)
Science
Mathematics
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2 2016
Constructive Logic with Strong Negation is a Substructural Logic. II Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 20 2008
Constructive Logic with Strong Negation is a Substructural Logic. I Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 29 2008
Correspondences between gentzen and hilbert systems

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 25 2006
Contra-classical logics Australasian Journal of Philosophy
  • Philosophy. Psychology. Religion: Philosophy (General)
 28 2000
Refrences Analysis
Category Category Repetition
Science: Mathematics26
Philosophy. Psychology. Religion: Philosophy (General)11
History (General) and history of Europe: History (General)1
Social Sciences1
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods1
The category Science: Mathematics 26 is the most frequently represented among the references in this article. It primarily includes studies from Algebra universalis The chart below illustrates the number of referenced publications per year.
Refrences used by this article by year
Citations
Title Journal Journal Categories Citations Publication Date
On the Provable Contradictions of the Connexive Logics C and C3

 Journal of Philosophical Logic
  • Philosophy. Psychology. Religion: Philosophy (General)
 1 2023
Executability and Connexivity in an Interpretation of Griss

 Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2023
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS

 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)
 2023
Citations Analysis
Category Category Repetition
Philosophy. Psychology. Religion: Philosophy (General)3
Science: Mathematics2
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods1
The category Philosophy. Psychology. Religion: Philosophy (General) 3 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled On the Provable Contradictions of the Connexive Logics C and C3 and was published in 2023. The most recent citation comes from a 2023 study titled On the Provable Contradictions of the Connexive Logics C and C3. This article reached its peak citation in 2023, with 3 citations. It has been cited in 3 different journals. Among related journals, the Journal of Philosophical Logic 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