- Tytuł:
- Equality Logic
- Autorzy:
- Ghorbani, Shokoofeh
- Tematy:
-
many-valued logic
equality logic
completness
prelinear equality∆-algebra
prelinear equality∆ logic - Pokaż więcej
- Data publikacji:
- 2020-11-04
- Powiązania:
- https://bibliotekanauki.pl/articles/1023179.pdf Link otwiera się w nowym oknie
- Źródło:
-
Bulletin of the Section of Logic; 2020, 49, 3; 291-324
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- 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.
- Dostawca treści:
- Biblioteka Nauki
Artykuł