| Publication | Date of Publication | Type |
|---|
Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Universal varieties of quasi-Stone algebras
Algebra Universalis | 2016-10-26 | Paper |
Avoidable structures. I: Finite ordered sets, semilattices and lattices
Algebra Universalis | 2010-01-04 | Paper |
Avoidable structures. II: Finite distributive lattices and nicely structured ordered sets
Algebra Universalis | 2010-01-04 | Paper |
Minimal varieties and quasivarieties of semilattices with one automorphism
Semigroup Forum | 2009-04-27 | Paper |
Equivalents for a quasivariety to be generated by a single structure
Studia Logica | 2009-03-17 | Paper |
The weak extension property and finite axiomatizability for quasivarieties
Fundamenta Mathematicae | 2009-02-09 | Paper |
scientific article; zbMATH DE number 5235522 (Why is no real title available?)
| 2008-02-15 | Paper |
In memory of Willem Johannes Blok 1947-2003
Studia Logica | 2006-10-27 | Paper |
Viktor Aleksandrovich Gorbunov (1950 -- 1999).
Algebra Universalis | 2005-04-19 | Paper |
Congruence properties of lattices of quasivarieties
Algebra i Logika | 2001-07-24 | Paper |
Algebraic point lattices of quasivarieties
Doklady Mathematics | 2001-01-28 | Paper |
scientific article; zbMATH DE number 1534353 (Why is no real title available?)
| 2000-11-21 | Paper |
scientific article; zbMATH DE number 1444029 (Why is no real title available?)
| 2000-05-09 | Paper |
scientific article; zbMATH DE number 1431608 (Why is no real title available?)
| 2000-04-13 | Paper |
Deduction theorems within RM and its extensions
Journal of Symbolic Logic | 1999-06-29 | Paper |
The parameterized local deduction theorem for quasivarieties of algebras and its application
Algebra Universalis | 1996-10-15 | Paper |
Finite atomistic lattices that can be represented as lattices of quasivarieties
Fundamenta Mathematicae | 1995-02-12 | Paper |
An answer to a question of D. Pigozzi
Algebra Universalis | 1994-01-06 | Paper |
scientific article; zbMATH DE number 120351 (Why is no real title available?)
| 1993-02-22 | Paper |
A deduction theorem schema for deductive systems of propositional logics
Studia Logica | 1992-09-27 | Paper |
A single quasi-identity for a quasivariety with the Fraser-Horn property
Algebra Universalis | 1992-06-28 | Paper |
Finite bases for finitely generated, relatively congruence distributive quasivarities
Algebra Universalis | 1992-06-27 | Paper |
Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
Algebra Universalis | 1990-01-01 | Paper |
Relative congruence distributivity within quasivarieties of nearly associative Φ-algebras
Fundamenta Mathematicae | 1990-01-01 | Paper |
Finitely generated congruence distributive quasivarieties of algebras
Fundamenta Mathematicae | 1989-01-01 | Paper |
On atoms in the lattice of quasivarieties
Algebra Universalis | 1987-01-01 | Paper |
On the lattice of quasivarieties of Sugihara algebras
Studia Logica | 1986-01-01 | Paper |
On lattice identities satisfied in subquasivariety lattices of varieties of modular lattices
Algebra Universalis | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4012687 (Why is no real title available?)
| 1986-01-01 | Paper |
On subquasivariety lattices of some varieties related with distributive p-algebras
Algebra Universalis | 1985-01-01 | Paper |
On subquasivariety lattices of semi-primal varieties
Algebra Universalis | 1985-01-01 | Paper |
The subvariety lattice of the variety of distributive double p-algebras
Bulletin of the Australian Mathematical Society | 1985-01-01 | Paper |
On distributivity of the lattice of subquasivarieties of a locally finite semi-simple arithmetical variety
Algebra Universalis | 1984-01-01 | Paper |
There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
Studia Logica | 1983-01-01 | Paper |
Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic
Studia Logica | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3853040 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3884227 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3873295 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3895134 (Why is no real title available?)
| 1983-01-01 | Paper |
Another proof that \(ISP_ r(K)\) is the least quasivariety containing K
Studia Logica | 1982-01-01 | Paper |
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
Studia Logica | 1982-01-01 | Paper |
On finite approximability of psi-intermediate logics
Studia Logica | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3811537 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3773592 (Why is no real title available?)
| 1981-01-01 | Paper |
On infinite subdirectly irreducible algebras in locally finite equational classes
Algebra Universalis | 1981-01-01 | Paper |
The degrees of maximality of the intuitionistic propositional logic and of some of its fragments
Studia Logica | 1981-01-01 | Paper |
A variety generated by a finite algebra with \(2^{\aleph_0}\) subvarieties
Algebra Universalis | 1981-01-01 | Paper |
The lattice of strengthenings of a strongly finite consequence operation
Studia Logica | 1981-01-01 | Paper |
Strong completeness with respect to finite Kripke models
Studia Logica | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3758296 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3799618 (Why is no real title available?)
| 1981-01-01 | Paper |
An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings
Studia Logica | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3670440 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3700795 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3645061 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3643241 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3634227 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3652312 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3645060 (Why is no real title available?)
| 1978-01-01 | Paper |
Modal logics connected with systems \(S4_n\) of Sobocinski
Studia Logica | 1977-01-01 | Paper |
On detachment-substitutional formalization in normal modal logics
Studia Logica | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3577192 (Why is no real title available?)
| 1976-01-01 | Paper |
