Szukaj
Wyświetlanie pozycji 1-1 z 1
Equality Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
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 ...