Opis

• Tytuł:
  Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
• Twórca:
  Figallo Orellano, Aldo;
  Pérez-Gaspar, Miguel;
  Bárcenas, Everardo
• Opis:
  Paraconsistent extensions of 3-valued Gödel logic are studied as tools for knowledge representation and nonmonotonic reasoning. Particularly, Osorio and his collaborators showed that some of these logics can be used to express interesting nonmonotonic semantics. CG’3 is one of these 3-valued logics. In this paper, we introduce Fidel semantics for a certain calculus of CG’3 by means of Fidel structures, named CG’3-structures. These structures are constructed from enriched Boolean algebras with a special family of sets. Moreover, we also show that the most basic CG’3-structures coincide with da Costa–Alves’ bi-valuation semantics; this connection is displayed through a Representation Theorem for CG’3-structures. By contrast, we show that for other paraconsistent logics that allow us to present semantics through Fidel structures, this connection is not held. Finally, Fidel semantics for the first-order version of the logic of CG’3 are presented by means of adapting algebraic tools.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2022 Logic and Logical Philosophy;
  https://creativecommons.org/licenses/by-nd/4.0
• Data:
  2022.05.24
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 32 No. 1 (2023): March; 141-158;
  Logic and Logical Philosophy; Tom 32 Nr 1 (2023): Marzec; 141-158;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/33090/32348
• Temat i słowa kluczowe:
  paraconsistent logics;
  first-order logics;
  Fidel semantics
• Identyfikator: https://apcz.umk.pl/LLP/article/view/33090
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty