Bulletin of the Section of Logic  

Anna Glenszczyk

We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complet... see more

Emília Halušková

Axiomatic classes of algebras of a given type which are closed with respect to direct limits are studied in this paper.

Zofia Kostrzycka

The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.

Marcin Lazarz

In the paper we investigate Birkhoff’s conditions (Bi) and (Bi*). We prove that a discrete lattice L satisfies the condition (Bi) (the condition (Bi*)) if and only if L is a 4-cell lattice not containing a cover-preserving sublattice isomorphic to the lat... see more

Bogdan Staruch, Bozena Staruch

We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition (called a star-decomposition) is based on the properties of the congruence lattices of algebras. We consider four properties of lattices: ... see more

Bogdan Staruch

We introduce a notion of dimension of an algebraic lattice and, treating such a lattice as the congruence lattice of an algebra, we introduce the dimension of an algebra, too. We define a star-product as a special kind of subdirect product. We obtain the ... see more

Adam Kolany, Miroslaw Wrobel

Progress in the medical diagnostic is relentlessly pushing the measurement technology as well with its intertwined mathematical models and solutions. Mathematics has applications to many problems that are vital to human health but not for all. In this art... see more

Wojciech Dzik, Sándor Radeleczki

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 for every two unifiers there is a u... see more