The new paradigm of “knowledge construction using experiential based and collaborative learning approaches” is an outstanding opportunity for interdisciplinary research. This document is an attempt to introduce and exemplify as much as possible using the lexicon of “social sciences”, considerations and tools belonging to “artificial intelligence” (e.g.: the machine learning tradition). In the p...

We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of logics algebraically captured by varieties of normal and regular lattice expansions. This result encompasses Ghilardi-Meloni’s and Suzuki’s constructive canonicity results for Sahlqvist formulas and inequalities, and is based on an application of the tools of unified correspondence theory. Specifical...

In this paper, we introduce a class of infinite matrices related to the Beurling algebra of periodic functions, and we show that it is an inverse-closed subalgebra of B(`w), the algebra of all bounded linear operators on the weighted sequence space `w, for any 1 ≤ q <∞ and any discrete Muckenhoupt Aq-weight w. Constructive Approximation, To appear