Results 31 to 40 of about 494 (99)

The logic induced by effect algebras. [PDF]

open access: yesSoft comput, 2020
Chajda I, Halaš R, Länger H.
europepmc   +1 more source

Exact Embedding Functors for Module Categories and Submodule Lattice Quasivarieties

open access: yesJournal of Algebra, 1999
For rings with unit \(R\) and \(S\) the relation \(R\precsim S\) means that there exists an exact embedding functor \(F\colon R\text{-Mod}\to S\text{-Mod}\). By \({\mathcal L}(R)\) is denoted the quasi-variety of lattices generated by the family of all submodule lattices \(\text{Su}(_RM)\) for \(M\in R\text{-Mod}\) (a lattice \(L\) is in \({\mathcal L}(
openaire   +2 more sources

Сharacterization of distributive lattices of quasivarieties of unars

open access: yesChebyshevskii sbornik, 2021
Vladimir Konstantinovich Kartashov   +1 more
openaire   +2 more sources

The complexity of quasivariety lattices of unary algebras

open access: yesBULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2017
openaire   +1 more source

Structure of quasivariety lattices. III. Finitely partitionable bases

Algebra i logika, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kravchenko, A. V.   +2 more
openaire   +1 more source

Structure of quasivariety lattices. I. Independent axiomatizability

Algebra i logika, 2017
A quasivariety \(K\) has an \(\omega \)-independent quasi-equational basis in a quasivariety \(M\) if there are a basis \(\Phi \) of \(K\) in \(M\) and a partition \(\Phi =\cup_ ...
Kravchenko, A. V.   +2 more
openaire   +1 more source

Structure of quasivariety lattices. II. Undecidable problems

Algebra i logika, 2019
The paper provides sufficient conditions for a quasivariety \(\mathbf M\) to contain continuumly many subquasivarieties \(\mathbf K\) such that the membership problem for finitely presented structures in \(\mathbf M\) is undecidable in \(\mathbf K\), the finite membership problem is undecidable in \(\mathbf K\), the quasi-equational theory of \(\mathbf
Kravchenko, A. V.   +2 more
openaire   +1 more source

Home - About - Disclaimer - Privacy