Default consequence relations from topology and measure theory

Author(s):  
Costas D. Koutras ◽  
Konstantinos Liaskos ◽  
Christos Moyzes ◽  
Christos Nomikos ◽  
Christos Rantsoudis
Author(s):  
Mihály Bakonyi ◽  
Hugo J. Woerdeman

Intensive research in matrix completions, moments, and sums of Hermitian squares has yielded a multitude of results in recent decades. This book provides a comprehensive account of this quickly developing area of mathematics and applications and gives complete proofs of many recently solved problems. With MATLAB codes and more than two hundred exercises, the book is ideal for a special topics course for graduate or advanced undergraduate students in mathematics or engineering, and will also be a valuable resource for researchers. Often driven by questions from signal processing, control theory, and quantum information, the subject of this book has inspired mathematicians from many subdisciplines, including linear algebra, operator theory, measure theory, and complex function theory. In turn, the applications are being pursued by researchers in areas such as electrical engineering, computer science, and physics. The book is self-contained, has many examples, and for the most part requires only a basic background in undergraduate mathematics, primarily linear algebra and some complex analysis. The book also includes an extensive discussion of the literature, with close to six hundred references from books and journals from a wide variety of disciplines.


1987 ◽  
Author(s):  
David M. McKeown ◽  
Jr
Keyword(s):  

2020 ◽  
Vol 7 (1) ◽  
pp. 81-101
Author(s):  
Issa Zabsonre ◽  
Djendode Mbainadji

AbstractUsing the spectral decomposition of the phase space developed in Adimy and co-authors, we present a new approach to study weighted pseudo almost automorphic functions in the α-norm using the measure theory.


2019 ◽  
Vol 37 (4) ◽  
pp. 3399-3411 ◽  
Author(s):  
Qinji Jia ◽  
Li Wu ◽  
Bo Li ◽  
Chunhui Chen ◽  
Yaxiong Peng

Studia Logica ◽  
2018 ◽  
Vol 107 (4) ◽  
pp. 613-637
Author(s):  
Minghui Ma ◽  
Jinsheng Chen

2009 ◽  
Vol 74 (3) ◽  
pp. 780-810 ◽  
Author(s):  
Nikolaos Galatos ◽  
Constantine Tsinakis

AbstractEquivalences and translations between consequence relations abound in logic. The notion of equivalence can be denned syntactically, in terms of translations of formulas, and order-theoretically, in terms of the associated lattices of theories. W. Blok and D. Pigozzi proved in [4] that the two definitions coincide in the case of an algebraizable sentential deductive system. A refined treatment of this equivalence was provided by W. Blok and B. Jónsson in [3]. Other authors have extended this result to the cases of κ-deductive systems and of consequence relations on associative, commutative, multiple conclusion sequents. Our main result subsumes all existing results in the literature and reveals their common character. The proofs are of order-theoretic and categorical nature.


Mathematics ◽  
2017 ◽  
Vol 5 (3) ◽  
pp. 44
Author(s):  
José Velhinho

Author(s):  
DIPAK KUMAR JANA ◽  
K. MAITY ◽  
M. MAITI

In this paper, some multi-item imperfect production-inventory models without shortages for defective and deteriorating items with uncertain/imprecise holding and production costs and resource constraint have been formulated and solved for optimal production. Here, the rate of production is assumed to be a function of time and considered as a control variable. Also the demand is time dependent and known. Uncertain or imprecise space constraint is also considered. The uncertain and imprecise holding and production costs are represented by uncertain and fuzzy variables respectively. These are converted to crisp constraint/numbers using uncertain measure theory for uncertain variable and possibility/necessity measure for fuzzy variable. The multi-item production inventory model is formulated as a constrained single objective cost minimization problem with the help of global criteria method. The reduced problem is then solved using Kuhn-Tucker conditions and generalized reduced gradient(GRG-LINGO 10.0) technique. Form the general model, models for particular cases with different production and demand functions are derived. Models for a single item are also presented. The optimum results for different models are presented in both tabular and graphical forms. Sensitivity analysis of average cost for the general model with respect to the changes in holding and production costs are presented.


Sign in / Sign up

Export Citation Format

Share Document