| Publication | Date of Publication | Type |
|---|
| The commutator in equivalential algebras and Fregean varieties | 2011-08-16 | Paper |
| FREGEAN VARIETIES | 2009-09-28 | Paper |
| The distance function in commutative \(\ell\)-semigroups and the equivalence in Łukasiewicz logic | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4820598 | 2004-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408994 | 2003-11-12 | Paper |
| On the problem of R. E. Tax | 2002-09-03 | Paper |
| Semantic normal form | 2002-07-18 | Paper |
| Definability of principal congruences in equivalential algebras | 1998-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5690146 | 1997-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4888336 | 1996-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4039138 | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3472080 | 1988-01-01 | Paper |
| Remarks on a survey article on many valued logic by A. Urquhart | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3762312 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778023 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764194 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686712 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686713 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760526 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329465 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222243 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708023 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666903 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666901 | 1983-01-01 | Paper |
| On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4744323 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4744322 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3924171 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3852161 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3895437 | 1979-01-01 | Paper |
| On normal Agassiz systems of algebras | 1978-01-01 | Paper |
| On weak Agassiz systems of algebras | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187796 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4189253 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168649 | 1976-01-01 | Paper |
| On finitely based consequence operations | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4166752 | 1976-01-01 | Paper |
| On Jaskowski-type semantics for the intuitionistic propositional logic | 1975-01-01 | Paper |
| Constructing denumerable matrices strongly adequate for pre-finite logics | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079586 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4099607 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109644 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071195 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071211 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071212 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065519 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065518 | 1973-01-01 | Paper |
| Structural completeness of Gödel's and Dummett's propositional calculi | 1973-01-01 | Paper |
