Description

• Title:
  Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
• Creator:
  Niki, Satoru
• Contributor:
  Japan Advanced Institute of Science and Technology School of Information Science 923-1292, 1-1 Asahidai, Nomi Ishikawa, Japan;
  satoruniki@jaist.ac.jp
• Description:
  We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics.
• Object availability:
  free access
• Rights: http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.05.11;
  2020.12.30
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;4;
  49
• Subject:
  empirical negation;
  co-negation;
  labelled sequent calculus;
  intuitionism
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/35463 ;
  2449-836X;
  10.18778/0138-0680.2020.13
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other