Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: completness

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Equality Logic

100%

Ghorbani S.

Bulletin of the Section of Logic

2020

tom 49

nr 3

291-324

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.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Ghorbani S.

1 2020

Wyniki wyszukiwania

Equality Logic