Description

• Tytuł:
  A Useful Four-Valued Extension of the Temporal Logic KtT4
• Twórca:
  Degauquier, Vincent
• Współtwórca:
  Espace philosophique de Namur, University of Namur, Rue de Bruxelles 61, 5000 Namur – Belgium;
  vincent.degauquier@gmail.com
• Opis:
  The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.
• Dostępność obiektu:
  free access
• Prawa:
  This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.;
  http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2019.01.14;
  2018
• Typ:
  Article
• Język:
  English
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1;
  47
• Temat i słowa kluczowe:
  temporal logic;
  many-valued logic;
  bi-intuitionistic logic;
  paraconsistent logic;
  sequent calculus;
  duality;
  cut-redundancy
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/26409 ;
  2449-836X;
  10.18778/0138-0680.47.1.02
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  check license
• Rodzaj zawartości:
  image