Search
Now showing items 1-2 of 2
An Alternative Natural Deduction for the Intuitionistic Propositional Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)
A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via ...
Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)
We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that ...