Katarzyna Slomczynska

Learn More
A b s t r a c t. We describe effectively all purely equivalential propositional formulas in the intermediate Gödel-Dummett logic. 1. These variety is a subvariety of the variety of equivalential algebras E. By an equivalential algebra we mean a grupoid A = (A, ↔) that is a subreduct of a Brouw-erian semilattice (or, equivalently, a Heyting algebra) with the(More)