A guide to the literature on semirings and their applications in mathematics and information sciences: with complete bibliography
K Glazek - 2002 - books.google.com
This book presents a guide to the extensive literature on the topic of semirings and includes
a complete bibliography. It serves as a complement to the existing monographs and a point …
a complete bibliography. It serves as a complement to the existing monographs and a point …
Agglomerative algebras
J Goodman - Journal of Philosophical Logic, 2019 - Springer
Agglomerative Algebras Page 1 Journal of Philosophical Logic (2019) 48:631–648 https://doi.org/10.1007/s10992-018-9488-8
Agglomerative Algebras Jeremy Goodman1 Received: 21 February 2017 / Accepted: 2 …
Agglomerative Algebras Jeremy Goodman1 Received: 21 February 2017 / Accepted: 2 …
[PDF][PDF] Regularising natural dualities
BA Davey, BJ Knox - Acta Math. Univ. Comenianae, 1999 - gwdg.de
Given an algebra M we may adjoin an isolated zero to form an algebra Mo satisfying all
identities u≈ v true in M for which u and v contain the same variables. Drawing on the …
identities u≈ v true in M for which u and v contain the same variables. Drawing on the …
Quasivarieties of cancellative commutative binary modes
K Matczak, A Romanowska - Studia Logica, 2004 - Springer
The paper describes the isomorphic lattices of quasivarieties of commutative quasigroup
modes and of cancellative commutative binary modes. Each quasivariety is characterised by …
modes and of cancellative commutative binary modes. Each quasivariety is characterised by …
Generalized convexity and closure conditions
G Czédli, AB Romanowska - International Journal of Algebra and …, 2013 - World Scientific
Convex subsets of affine spaces over the field of real numbers are described by so-called
barycentric algebras. In this paper, we discuss extensions of the geometric and algebraic …
barycentric algebras. In this paper, we discuss extensions of the geometric and algebraic …
An algebraic study of logics of variable inclusion and analytic containment
M Pra Baldi - 2018 - research.unipd.it
This thesis focuses on a wide family of logics whose common feature is to admit a syntactic
definition based on specific variable inclusion principles. This family has been divided into …
definition based on specific variable inclusion principles. This family has been divided into …
Left Variable Inclusion Logics Associated with Classical Logic
F Paoli, MP Baldi - Notre Dame Journal of Formal Logic, 2024 - projecteuclid.org
Logics of significance have been proposed in an attempt to overcome the shortcomings of
classical logic as a model of reasoning in the presence of nonsignificant (eg, meaningless …
classical logic as a model of reasoning in the presence of nonsignificant (eg, meaningless …
Płonka adjunction
J Climent Vidal, E Cosme Llópez - Logic Journal of the IGPL, 2024 - academic.oup.com
Let be a signature without-ary operation symbols and the category of semilattices. Then,
after defining and investigating the categories, of inductive systems of-algebras over all …
after defining and investigating the categories, of inductive systems of-algebras over all …
Semilattice sums of algebras and Mal'tsev products of varieties
C Bergman, T Penza, AB Romanowska - Algebra universalis, 2020 - Springer
The Mal'tsev product of two varieties of similar algebras is always a quasivariety. We
consider the question of when this quasivariety is a variety. The main result asserts that if VV …
consider the question of when this quasivariety is a variety. The main result asserts that if VV …