Citations of work:

V. Michele Abrusci (1990). Non-Commutative Intuitionistic Linear Logic.

4 found
Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  13
    Contrary-to-Duty Reasoning: A Categorical Approach.Clayton Peterson - 2015 - Logica Universalis 9 (1):47-92.
    This paper provides an analysis of contrary-to-duty reasoning from the proof-theoretical perspective of category theory. While Chisholm’s paradox hints at the need of dyadic deontic logic by showing that monadic deontic logics are not able to adequately model conditional obligations and contrary-to-duties, other arguments can be objected to dyadic approaches in favor of non-monotonic foundations. We show that all these objections can be answered at one fell swoop by modeling conditional obligations within a deductive system defined as an instance of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  29
    The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
    Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  2
    European Summer Meeting of the Association for Symbolic Logic.E. -J. Thiele - 1992 - Journal of Symbolic Logic 57 (1):282-351.
  4.  37
    Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic.V. Michele Abrusci - 1991 - Journal of Symbolic Logic 56 (4):1403-1451.