Related papers: Generalizations of the Weak Law of the Excluded Mi…
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
The class of weak BCK-algebras is obtained by weakening one of standard BCK axioms. It is known that every weak BCK-algebra is completely determined by the structure of its initial segments. We review several natural classes of commutative…
In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces, in order to exhibit a relational Priestley-like duality…
We formulate a general, signature-independent form of the law of the excluded middle and prove that a logic is semisimple if and only if it enjoys this law, provided that it satisfies a weak form of the so-called inconsistency lemma of…
Methods of Lie group analysis of differential equations are extended to weak solutions of (linear and nonlinear) PDEs, where the term ``weak solution'' comprises the following settings: (a) Distributional solutions. (b) Solutions in…
As explained in detail in the prologue to this manuscript, boundedness of weak solutions for general classes of elliptic equations in divergence form is a classic tool for achieving higher regularity. We propose here some global boundedness…
We completely characterize the weak differentiability (or, in other words Gateaux differentiability) of the norm in the spaces of bounded multilinear maps. Also, we obtain a multilinear generalization of the well-known Bhatia-\v{S}emrl…
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several structures of prominent importance for mathematical logic, e.g.…
For (finitary) deductive systems, we formulate a signature-independent abstraction of the \emph{weak excluded middle law} (WEML), which strengthens the existing general notion of an inconsistency lemma (IL). Of special interest is the case…
Inspired by the results obtained in \cite{SR}, in this work, we develop techniques to handle the contraction property for weak normalization and Lipschitz saturation of algebras for the following types of algebras: universally injective,…
We generalize Kirchberg's weak exactness to inclusions of C*-algebras in von Neumann algebras and study some characterizations and permanence properties which are similar to those of exact groups. We then consider a similar condition to…
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough…
We apply a general approach for distributions of binary isolating and semi-isolating formulas to the class of strongly minimal theories.
We study a special class of weakly associative algebras: the symmetric Leibniz algebras. We describe the structure of the commutative and skew symmetric algebras associated with the polarization-depolarization principle. We also give a…
Weakly Schreier split extensions are a reasonably large, yet well-understood class of monoid extensions, which generalise some aspects of split extensions of groups. This short note provides a way to define and study similar classes of…
In this paper, we will start by looking through our project's historical general view and then we will try to construct a new Poisson bracket on our simplest example $sl_2$ and then we will try to give a universal construction based on our…
We study general properties of multipliers and weak multipliers of algebras. We apply the results to determine the (weak) multipliers of associative algebras and zeropotent algebras of dimension 3 over an algebraically closed field.
We describe a general method to obtain weak subconvexity bounds for many classes of $L$-functions. This has applications to a conjecture of Rudnick and Sarnak for the mass equidistribution of Hecke eigenforms (see arxiv.org:math/0809.1636).
We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…
There exist initial segments of both the Dyment lattice and the Dyment-Muchnik lattice that yield Brouwer algebras modeling exactly the intuitionistic propositional calculus. For the Dyment-Muchnik lattice, this result is obtained by…