Description

• Title:
  Natural deduction systems for some non-commutative logics
• Creator:
  Kamide, Norihiro;
  Mouri, Motohiko
• Description:
  Varieties of natural deduction systems are introduced for Wansing’s paraconsistent non-commutative substructural logic, called a constructive sequential propositional logic (COSPL), and its fragments. Normalization, strong normalization and Church-Rosser theorems are proved for these systems. These results include some new results on full Lambek logic (FL) and its fragments, because FL is a fragment of COSPL.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2007.08.25
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 16 No. 2-3 (2007); 105-146;
  Logic and Logical Philosophy; Tom 16 Nr 2-3 (2007); 105-146;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2007.005/1470
• Subject:
  constructive sequential propositional logic (COSPL);
  full Lambek logic (FL);
  natural deduction;
  (strong) normalization
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2007.005
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text