Description

• Title:
  Equality Logic
• Creator:
  Ghorbani, Shokoofeh
• Contributor:
  Shahid Bahonar University of Kerman Faculty of Mathematics and Computer Department of Pure Mathematics Kerman, Iran;
  sh.ghorbani@uk.ac.ir
• Description:
  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.
• Object availability:
  free access
• Rights: http://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.05.05;
  2020.11.04
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;3;
  49
• Subject:
  many-valued logic;
  equality logic;
  completness;
  prelinear equality∆-algebra;
  prelinear equality∆ logic
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/35379 ;
  2449-836X;
  10.18778/0138-0680.2020.14
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other