scholarly journals Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics

Symmetry ◽  
2018 ◽  
Vol 10 (12) ◽  
pp. 755
Author(s):  
Sanmin Wang
Keyword(s):  
Substructural Logics ◽  
Fuzzy Logics ◽  
Standard Completeness

Semilinear substructural logics UL ω and IUL ω are logics for finite UL and IUL -algebras, respectively. In this paper, the standard completeness of UL ω and IUL ω is proven by the method developed by Jenei, Montagna, Esteva, Gispert, Godo, and Wang. This shows that UL ω and IUL ω are substructural fuzzy logics.

scholarly journals A Proof of the Standard Completeness for the Involutive Uninorm Logic

Symmetry ◽  
2019 ◽  
Vol 11 (4) ◽  
pp. 445 ◽  
Author(s):  
SanMin Wang
Keyword(s):  
Open Problem ◽  
Substructural Logics ◽  
Uniform Method ◽  
Fuzzy Logics ◽  
Standard Completeness

In this paper, we solve a long-standing open problem in the field of fuzzy logics, that is, the standard completeness for the involutive uninorm logic IUL. In fact, we present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for IUL is proved. Then the standard completeness for IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna.

scholarly journals ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ Are Substructural Fuzzy Logics

2018 ◽  
Author(s):  
SanMin Wang
Keyword(s):  
Substructural Logics ◽  
Fuzzy Logics ◽  
Standard Completeness

Two representable substructural logics ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ are logics for finite UL and IUL-algebras, respectively. In this paper, the standard completeness of ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ is proved by the method developed by Jenei, Montagna, Esteva, Gispert, Godo and Wang. This shows that ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ are substructural fuzzy logics.

SUBSTRUCTURAL INQUISITIVE LOGICS

2019 ◽  
Vol 12 (2) ◽  
pp. 296-330 ◽  
Author(s):  
VÍT PUNČOCHÁŘ
Keyword(s):  
Fuzzy Logic ◽  
General Theory ◽  
Propositional Logic ◽  
Substructural Logics ◽  
Substructural Logic ◽  
Fuzzy Logics ◽  
Inquisitive Semantics ◽  
Semantic Framework ◽  
Noncommutative Version ◽  
Image Position

AbstractThis paper shows that any propositional logic that extends a basic substructural logic BSL (a weak, nondistributive, nonassociative, and noncommutative version of Full Lambek logic with a paraconsistent negation) can be enriched with questions in the style of inquisitive semantics and logic. We introduce a relational semantic framework for substructural logics that enables us to define the notion of an inquisitive extension of λ, denoted as ${\lambda ^?}$, for any logic λ that is at least as strong as BSL. A general theory of these “inquisitive extensions” is worked out. In particular, it is shown how to axiomatize ${\lambda ^?}$, given the axiomatization of λ. Furthermore, the general theory is applied to some prominent logical systems in the class: classical logic Cl, intuitionistic logic Int, and t-norm based fuzzy logics, including for example Łukasiewicz fuzzy logic Ł. For the inquisitive extensions of these logics, axiomatization is provided and a suitable semantics found.

scholarly journals Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics

Axioms ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 273
Author(s):  
Eunsuk Yang
Keyword(s):  
Fuzzy Logic ◽  
Substructural Logics ◽  
Algebraic Semantics ◽  
Relational Semantics ◽  
Fuzzy Logics

Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together with their algebraic semantics. Next, we introduce two kinds of ternary relational semantics, called here linear Urquhart-style and Fine-style Routley–Meyer semantics, for them as algebraic Routley–Meyer-style semantics.

Strong non-standard completeness for fuzzy logics

2007 ◽  
Vol 12 (4) ◽  
pp. 321-333 ◽  
Author(s):  
Tommaso Flaminio
Keyword(s):  
Fuzzy Logics ◽  
Standard Completeness

scholarly journals Density Elimination for Semilinear Substructural Logics

2019 ◽  
Author(s):  
SanMin Wang
Keyword(s):  
Substructural Logics ◽  
Uniform Method ◽  
Standard Completeness

We present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for the involutive uninorm logic IUL is proved. Then the standard completeness of IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna.

Substructural fuzzy logics

2007 ◽  
Vol 72 (3) ◽  
pp. 834-864 ◽  
Author(s):  
George Metcalfe ◽  
Franco Montagna
Keyword(s):  
Linear Logic ◽  
Substructural Logics ◽  
Unit Interval ◽  
Residuated Lattices ◽  
Cut Elimination ◽  
Algebraic Semantics ◽  
Fuzzy Logics ◽  
The Real ◽  
Gentzen Systems ◽  
Intuitionistic Linear Logic

AbstractSubstructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Uninorm logic UL as Multiplicative additive intuitionistic linear logic MAILL extended with the prelinearity axiom ((A → B) ∧ t) V ((B → A)∧ t). Axiomatic extensions of UL include known fuzzy logics such as Monoidal t-norm logic MIX and Gödel logic G, and new weakening-free logics. Algebraic semantics for these logics are provided by subvarieties of (representable) pointed bounded commutative residuated lattices. Gentzen systems admitting cut-elimination are given in the framework of hypersequents. Completeness with respect to algebras with lattice reduct [0, 1] is established for UL and several extensions using a two-part strategy. First, completeness is proved for the logic extended with Takeuti and Titani's density rule. A syntactic elimination of the rule is then given using a hypersequent calculus. As an algebraic corollary, it follows that certain varieties of residuated lattices are generated by their members with lattice reduct [0, 1].

Modeling and Solution Techniques Used for Hydro Generation Scheduling

Water ◽  
2019 ◽  
Vol 11 (7) ◽  
pp. 1392 ◽  
Author(s):  
Iram Parvez ◽  
JianJian Shen ◽  
Mehran Khan ◽  
Chuntian Cheng
Keyword(s):  
Genetic Algorithm ◽  
Dynamic Programming ◽  
Stochastic Programming ◽  
Short Interval ◽  
Optimization Techniques ◽  
Mixed Integer ◽  
Fuzzy Logics ◽  
Spinning Reserve ◽  
Lagrange Relaxation ◽  
Generation Scheduling

The hydro generation scheduling problem has a unit commitment sub-problem which deals with start-up/shut-down costs related hydropower units. Hydro power is the only renewable energy source for many countries, so there is a need to find better methods which give optimal hydro scheduling. In this paper, the different optimization techniques like lagrange relaxation, augmented lagrange relaxation, mixed integer programming methods, heuristic methods like genetic algorithm, fuzzy logics, nonlinear approach, stochastic programming and dynamic programming techniques are discussed. The lagrange relaxation approach deals with constraints of pumped storage hydro plants and gives efficient results. Dynamic programming handles simple constraints and it is easily adaptable but its major drawback is curse of dimensionality. However, the mixed integer nonlinear programming, mixed integer linear programming, sequential lagrange and non-linear approach deals with network constraints and head sensitive cascaded hydropower plants. The stochastic programming, fuzzy logics and simulated annealing is helpful in satisfying the ramping rate, spinning reserve and power balance constraints. Genetic algorithm has the ability to obtain the results in a short interval. Fuzzy logic never needs a mathematical formulation but it is very complex. Future work is also suggested.

Sign in / Sign up

Export Citation Format

Share Document