Abstract Sahlqvist theory is extended to the fragments of intuitionistic propositional calculus that include conjunction connective. This allows us introduce a character amenable arbitrary protoalgebraic deductive systems. As an application, we obtain theorem for implication connective and extensions linear logic.

The EUROCAST 2022 focuses on computer-based methods like systems theory, applications, machine learning, automation, and system thinking.

In the linear system Ax = b the points x are sometimes constrained to lie in a given subspace S of column space of A. Drazin inverse for any singular or nonsingular matrix, exist and is unique. In this paper, the singular consistent or inconsistent constrained linear systems are introduced and the effect of Drazin inverse in solving such systems is investigated. Constrained linear system arise ...

this paper examines the relationship between environmental law and intellectual property law in light of international documents and procedures. the key question raised here is the role of intellectual property law in conservation of global environment. in this regard, we can express two general approaches: the neutral theory of intellectual property right and the systemic theory of intellectua...