Szukaj
Wyświetlanie pozycji 1-3 z 3
Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)
The present note is an Erratum for the two theorems of the paper "Congruences and ideals in a distributive lattice with respect to a derivation" by M. Sambasiva Rao.
An Investigation into Intuitionistic Logic with Identity
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s ...
Many Faces of Lattice Tolerances
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
Our aim is to overview and discuss some of the most popular approaches to the notion of a tolerance relation in algebraic structures with the special emphasis on lattices.