Proof Theory of Skew Non-Commutative MILL

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
Proof Theory of Partially Normal Skew Monoidal Categories Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
2 2021
Coherence via Focusing for Symmetric Skew Monoidal Categories 2021
Deductive Systems and Coherence for Skew Prounital Closed Categories Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
3 2021
The Sequent Calculus of Skew Monoidal Categories 2021
On the Lambek Calculus with an Exchange Modality Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
1 2018
Citations
Title Journal Journal Categories Citations Publication Date
Semi-Substructural Logics with Additives Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
2024
Citations Analysis
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Semi-Substructural Logics with Additives and was published in 2024. The most recent citation comes from a 2024 study titled Semi-Substructural Logics with Additives. This article reached its peak citation in 2024, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science 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