Default consequence relations from topology and measure theory

2022 ◽  
Author(s):  
Costas D. Koutras ◽  
Konstantinos Liaskos ◽  
Christos Moyzes ◽  
Christos Nomikos ◽  
Christos Rantsoudis
Keyword(s):  
Measure Theory ◽  
Consequence Relations

Matrix Completions, Moments, and Sums of Hermitian Squares

2011 ◽  
Author(s):  
Mihály Bakonyi ◽  
Hugo J. Woerdeman
Keyword(s):  
Linear Algebra ◽  
Undergraduate Students ◽  
Complex Analysis ◽  
Measure Theory ◽  
Complex Function ◽  
Complex Function Theory ◽  
Extensive Discussion ◽  
The Subject ◽  
Processing Control ◽  
Developing Area

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.

Measure Theory and Fair Arbiters.

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

scholarly journals Pseudo almost automorphic solutions of class r in α-norm under the light of measure theory

2020 ◽  
Vol 7 (1) ◽  
pp. 81-101
Author(s):  
Issa Zabsonre ◽  
Djendode Mbainadji
Keyword(s):  
Phase Space ◽  
Spectral Decomposition ◽  
Measure Theory ◽  
New Approach ◽  
Almost Automorphic ◽  
Almost Automorphic Functions ◽  
Pseudo Almost Automorphic ◽  
Automorphic Functions

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.

The Comprehensive Prediction Model of Rockburst Tendency in Tunnel Based on Optimized Unascertained Measure Theory

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

Sequent Calculi for Global Modal Consequence Relations

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

Equivalence of consequence relations: an order-theoretic and categorical perspective

2009 ◽  
Vol 74 (3) ◽  
pp. 780-810 ◽  
Author(s):  
Nikolaos Galatos ◽  
Constantine Tsinakis
Keyword(s):  
Deductive System ◽  
Consequence Relations ◽  
Deductive Systems ◽  
System A ◽  
Common Character

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.

scholarly journals Topics of Measure Theory on Infinite Dimensional Spaces

Mathematics ◽  
2017 ◽  
Vol 5 (3) ◽  
pp. 44
Author(s):  
José Velhinho
Keyword(s):  
Measure Theory ◽  
Infinite Dimensional

NUMERICAL APPROACH TO AN OPTIMAL MULTI-ITEM IMPERFECT PRODUCTION CONTROL PROBLEM IN UNCERTAIN ENVIRONMENT

2014 ◽  
Vol 22 (01) ◽  
pp. 125-144
Author(s):  
DIPAK KUMAR JANA ◽  
K. MAITY ◽  
M. MAITI
Keyword(s):  
General Model ◽  
Production Control ◽  
Measure Theory ◽  
Control Variable ◽  
Uncertain Variable ◽  
Production Costs ◽  
Uncertain Measure ◽  
Fuzzy Variables ◽  
Imperfect Production ◽  
Production Inventory

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