Opis

• Tytuł:
  Natural deduction systems for some non-commutative logics
• Twórca:
  Kamide, Norihiro;
  Mouri, Motohiko
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2007.08.25
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  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
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2007.005/1470
• Temat i słowa kluczowe:
  constructive sequential propositional logic (COSPL);
  full Lambek logic (FL);
  natural deduction;
  (strong) normalization
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2007.005
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty