Results 21 to 30 of about 439 (93)
Finite atomistic lattices that can be represented as lattices of quasivarieties [PDF]
Fundamenta Mathematicae, 1993 Summary: We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of an earlier paper by the third author and \textit{V. I.
Adaricheva, K. V. +2 more
openaire +1 more source
, 2003 In the paper we consider the notion of hyper-quasi-identities and hyperquasivarieties as a generalization of the concept of quasi-identity and quasivariety invented by A. I.
Graczynska, Ewa, Schweigert, Dietmar
core +2 more sources
Logics of variable inclusion and the lattice of consequence relations
, 2019 In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position into the lattice of consequence relations over the language of L.Comment ...
Baldi, Michele Pra
core +1 more source
Admissibility in De Morgan algebras [PDF]
, 2018 Characterizations of admissible quasi-identities, which may be understood as quasi-identities holding in free algebras on countably infinitely many generators, are provided for classes of De Morgan algebras and ...
Metcalfe, George +1 more
core
On the complexity of quasivariety lattices
Sibirskie Elektronnye Matematicheskie Izvestiya, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Algebraic convex geometries revisited [PDF]
, 2014 Representation of convex geometry as an appropriate join of compatible orderings of the base set can be achieved, when closure operator of convex geometry is algebraic, or finitary. This bears to the finite case proved by P. Edelman and R.
Adaricheva, Kira
core +2 more sources
Constructive Logic with Strong Negation is a Substructural Logic. II [PDF]
, 2018 The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL ew of the substructural logic FL ew .
Spinks, M., Veroff, R.
core
Сharacterization of distributive lattices of quasivarieties of unars
Chebyshevskii sbornik, 2021 Vladimir Konstantinovich Kartashov +1 more
openaire +2 more sources
Rectangular groupoids and related structures.
Discrete Math, 2013 Boykett T.
europepmc +1 more source
The complexity of quasivariety lattices of unary algebras
BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2017 openaire +1 more source