Positive MV-algebras are the subreducts of with respect to signature $\{\oplus, \odot, \lor, \land, 0, 1\}$. We provide a finite quasi-equational axiomatization for class such algebras.

We discuss the n-fold implicative/fantastic filters in lattice implication algebras, which are extended notions of implicative/fantastic filters. Characterizations of n-fold implicative/fantastic filters are given. Conditions for a filter to be n-fold implicative are provided. Extension property for an n-fold fantastic filter is established.

This paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sententia...

Implicative verbs (e.g. manage) entail their complement clauses, while non-implicative verbs (e.g. want) do not. For example, while managing to solve the problem entails solving the problem, no such inference follows from wanting to solve the problem. Differentiating between implicative and non-implicative verbs is therefore an essential component of natural language understanding, relevant to ...

Molodtsov's soft set theory provides a general mathematical framework for dealing with uncertainty. The concepts of (M, N)-SI implicative (Boolean) filters of BL-algebras are introduced. Some good examples are explored. The relationships between (M, N)-SI filters and (M, N)-SI implicative filters are discussed. Some properties of (M, N)-SI implicative (Boolean) filters are investigated. In part...

In this paper, the notation of interior KU-algebra and some related definitions are introduced. Various characterisations for have been proved. The concept positive implicative prove results regarding also presented. addition, KU-ideals several properties these ideals

Hyper-positive real, matrix-valued, rational functions are associated with absolute stability (the Lurie problem). Here, quantitative subsets of functions, related through nested inclusions, introduced. Structurally, this family turns out to be matrix-convex and closed under inversion. A state-space characterization these a corresponding Kalman-Yakubovich-Popov Lemma, is given. Technically, the...