Bulletin of the Section of Logic 45/3/4 (2016)
Browse by
TABLE OF CONTENTS

Monadic Fragments of Intuitionistic Control Logic
Anna Glenszczyk

On Direct Limit Closed Classes of Algebras
Emília Halušková

Interpolation in Normal Extensions of the Brouwer Logic
Zofia Kostrzycka

Characterization of Birkhoff’s Conditions by Means of CoverPreserving and Partially CoverPreserving Sublattices
Marcin Łazarz

Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and AntiUniform Parts
Bogdan Staruch, Bożena Staruch

Irredundant Decomposition of Algebras into OneDimensional Factors
Bogdan Staruch

Some Algebraic and Algorithmic Problems in Acoustocerebrography
Adam Kolany, Miroslaw Wrobel

Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
Wojciech Dzik, Sándor Radeleczki
Recent Submissions

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 ... 
Some Algebraic and Algorithmic Problems in Acoustocerebrography
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)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 ... 
Irredundant Decomposition of Algebras into OneDimensional Factors
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)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 starproduct as a special kind of ... 
Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and AntiUniform Parts
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition (called a stardecomposition) is based on the properties of the congruence lattices of algebras. We ... 
Characterization of Birkhoff’s Conditions by Means of CoverPreserving and Partially CoverPreserving Sublattices
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)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 4cell lattice not containing a coverpreserving ... 
Interpolation in Normal Extensions of the Brouwer Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic. 
On Direct Limit Closed Classes of Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)Axiomatic classes of algebras of a given type which are closed with respect to direct limits are studied in this paper. 
Monadic Fragments of Intuitionistic Control Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)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 ...