Description

• Tytuł:
  Basic Four-Valued Systems of Cyclic Negations
• Twórca:
  Grigoriev, Oleg;
  Zaitsev, Dmitry
• Współtwórca:
  Grigoriev, Oleg - Lomonosov Moscow State University, Faculty of Philosophy, Department of Logic, 119234, Lomonosovskiy prospect 24, Building 4, Moscow, Russia;
  Zaitsev, Dmitry - Lomonosov Moscow State University, Faculty of Philosophy, Department of Logic, 119234, Lomonosovskiy prospect 24, Building 4, Moscow, Russia;
  Grigoriev, Oleg - grig@philos.msu.ru;
  Zaitsev, Dmitry - zaitsev@philos.msu.ru
• Opis:
  We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary consequence relation and proving correctness and completeness theorems for these deductive systems.
• Dostępność obiektu:
  free access
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2023.02.10;
  2022.10.25
• Typ:
  Other
• Język:
  English
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  51
• Temat i słowa kluczowe:
  Generalized truth values;
  consequence relation;
  first degree entailment
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/45870 ;
  2449-836X;
  10.18778/0138-0680.2022.21
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  check license
• Rodzaj zawartości:
  other