Opis

• Tytuł:
  Equality Logic
• Twórca:
  Ghorbani, Shokoofeh
• Współtwórca:
  Shahid Bahonar University of Kerman Faculty of Mathematics and Computer Department of Pure Mathematics Kerman, Iran;
  sh.ghorbani@uk.ac.ir
• Opis:
  In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem. We show that this logic is regularly algebraizable with respect to the variety of equality∆-algebras but it is not Fregean. Then we introduce the concept of (prelinear) equality∆-algebras and investigate some related properties. Also, we study ∆-deductive systems of equality∆-algebras. In particular, we prove that every prelinear equality ∆-algebra is a subdirect product of linearly ordered equality∆-algebras. Finally, we construct prelinear equality ∆ logic and prove the soundness and strong completeness of this logic respect to prelinear equality∆-algebras.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.05;
  2020.11.04
• Typ:
  Other
• Język:
  angielski;
  eng
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  49
• Temat i słowa kluczowe:
  many-valued logic;
  equality logic;
  completness;
  prelinear equality∆-algebra;
  prelinear equality∆ logic
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35379 ;
  2449-836X;
  10.18778/0138-0680.2020.14
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe