Non-commutative Fuzzy Logic psMTL - An Alternative Proof for the Standard Completeness Theorem

2012 ◽  
Keyword(s):  
Fuzzy Logic ◽  
Completeness Theorem ◽  
Alternative Proof ◽  
Standard Completeness

Alternative Proof of Standard Completeness Theorem for MTL

2006 ◽  
Vol 11 (2) ◽  
pp. 123-129 ◽  
Author(s):  
Rostislav Horčík
Keyword(s):  
Completeness Theorem ◽  
Alternative Proof ◽  
Standard Completeness

Standard completeness theorem for ΠMTL

2004 ◽  
Vol 44 (4) ◽  
pp. 413-424 ◽  
Author(s):  
Rostislav Horĉík
Keyword(s):  
Completeness Theorem ◽  
Standard Completeness

Degrees of models

1960 ◽  
Vol 25 (3) ◽  
pp. 233-237 ◽  
Author(s):  
J. R. Shoenfield
Keyword(s):  
Completeness Theorem ◽  
Alternative Proof ◽  
Natural Numbers ◽  
Consistent Theory ◽  
Gödel’S Completeness Theorem

According to Gödel's completeness theorem, every consistent theory1 has a model whose domain is a set of natural numbers. The objects of the model corresponding to the predicate symbols of the theory are then predicates of natural numbers. Kleene [5] p. 398 showed that, if the theory is axiomatizable,2 then the model can be chosen so that these predicates are in both two-quantifier forms, i.e., they can be expressed in both the forms (x)(Ey)R and (Ex)(y)S with R and S recursive. An alternative proof has been given by Hasen jaeger [3].

scholarly journals A New Model of Fuzzy Logic: Monadic Monoidal T-Norm Based Logic

2022 ◽  
Author(s):  
Saeide Zahiri ◽  
Arsham Borumand Saeid
Keyword(s):  
Fuzzy Logic ◽  
Representation Theorem ◽  
Completeness Theorem ◽  
Subdirectly Irreducible ◽  
New Model ◽  
Basic Properties ◽  
Subdirect Representation ◽  
Ams Classification ◽  
Monadic Filters

Abstract In this article, we introduce the variety of monadic MTL-algebras as MTL-algebras equipped with two monadic operators. After a study of the basic properties of this variety, we define and investigate monadic filters in monadic MTL-algebras. By using the notion of monadic filters, we prove the subdirect representation theorem of monadic MTL-algebras and characterize simple and subdirectly irreducible monadic MTL-algebras. Moreover, present monadic monoidal t-norm based logic (MMT L), a system of many valued logic capturing the tautologies of monadic MTL-algebras and prove a completeness theorem.AMS Classification: 08A72, 03G25, 03B50, 03C05.

Hysteresis in Categorization: Fuzzy Logic Makes Fuzzy Boundaries

2012 ◽  
Author(s):  
Thomas M. Crawford ◽  
Justin Fine ◽  
Donald Homa
Keyword(s):  
Fuzzy Logic

Remarks on nonlinear elastic waves with null conditions

2020 ◽  
Vol 26 ◽  
pp. 121
Author(s):  
Dongbing Zha ◽  
Weimin Peng
Keyword(s):  
Initial Data ◽  
Global Existence ◽  
Elastic Waves ◽  
Wave Equations ◽  
Alternative Proof ◽  
Classical Solutions ◽  
Small Initial Data ◽  
Hyperelastic Materials ◽  
Variational Structure ◽  
Nonlinear Elastic

For the Cauchy problem of nonlinear elastic wave equations for 3D isotropic, homogeneous and hyperelastic materials with null conditions, global existence of classical solutions with small initial data was proved in R. Agemi (Invent. Math. 142 (2000) 225–250) and T. C. Sideris (Ann. Math. 151 (2000) 849–874) independently. In this paper, we will give some remarks and an alternative proof for it. First, we give the explicit variational structure of nonlinear elastic waves. Thus we can identify whether materials satisfy the null condition by checking the stored energy function directly. Furthermore, by some careful analyses on the nonlinear structure, we show that the Helmholtz projection, which is usually considered to be ill-suited for nonlinear analysis, can be in fact used to show the global existence result. We also improve the amount of Sobolev regularity of initial data, which seems optimal in the framework of classical solutions.

Continuous Estimation of CO2 Production during Exercise

1997 ◽  
Vol 36 (04/05) ◽  
pp. 368-371
Author(s):  
R. Soma ◽  
Y. Yamamoto
Keyword(s):  
Fuzzy Logic ◽  
Steady State ◽  
Infusion Rate ◽  
Feedback System ◽  
Whole Body ◽  
Co2 Production ◽  
Cycle Exercise ◽  
Continuous Estimation ◽  
Breath Measurement ◽  
13Co2 Enrichment

Abstract.A new method was developed for continuous isotopic estimation of human whole body CO2 rate of appearance (Ra) during non-steady state exercise. The technique consisted of a breath-by-breath measurement of 13CO2 enrichment (E) and a real-time fuzzy logic feedback system which controlled NaH13CO3 infusion rate to achieve an isotopic steady state. Ra was estimated from the isotope infusion rate and body 13CO2 enrichment which was equal to E at the isotopic steady state. During a non-steady state incremental cycle exercise (5 w/min or 10 w/min), NaH13CO3 infusion rate was successfully increased by the action of feedback controller so as to keep E constant.

Modified fuzzy-based greedy routing protocol for VANETs

2020 ◽  
Vol 39 (6) ◽  
pp. 8357-8364
Author(s):  
Thompson Stephan ◽  
Ananthnarayan Rajappa ◽  
K.S. Sendhil Kumar ◽  
Shivang Gupta ◽  
Achyut Shankar ◽  
...  
Keyword(s):  
Fuzzy Logic ◽  
Routing Protocol ◽  
Intelligent Transportation Systems ◽  
Vehicular Ad Hoc Networks ◽  
Ad Hoc ◽  
Research Area ◽  
Transportation Systems ◽  
Delivery Ratio ◽  
Greedy Routing ◽  
Hoc Networks

Vehicular Ad Hoc Networks (VANETs) is the most growing research area in wireless communication and has been gaining significant attention over recent years due to its role in designing intelligent transportation systems. Wireless multi-hop forwarding in VANETs is challenging since the data has to be relayed as soon as possible through the intermediate vehicles from the source to destination. This paper proposes a modified fuzzy-based greedy routing protocol (MFGR) which is an enhanced version of fuzzy logic-based greedy routing protocol (FLGR). Our proposed protocol applies fuzzy logic for the selection of the next greedy forwarder to forward the data reliably towards the destination. Five parameters, namely distance, direction, speed, position, and trust have been used to evaluate the node’s stability using fuzzy logic. The simulation results demonstrate that the proposed MFGR scheme can achieve the best performance in terms of the highest packet delivery ratio (PDR) and minimizes the average number of hops among all protocols.

Design and Simulation of Smart Control System for Internet Traffic Distribution on Servers by Using Fuzzy Logic System

2018 ◽  
Vol 2 (1) ◽  
Author(s):  
Raid Daoud ◽  
Yaareb Al-Khashab
Keyword(s):  
Fuzzy Logic ◽  
Control System ◽  
Input Parameter ◽  
Traffic Density ◽  
The Internet ◽  
Linguistic Variables ◽  
Internet Service ◽  
Traffic Distribution ◽  
Smart Control ◽  
High Level

The internet service is provided by a given number of servers located in the main node of internet service provider (ISP). In some cases; the overload problem was occurred because a demand on a given website goes to very high level. In this paper, a fuzzy logic control (FLC) has proposed to distribute the load into the internet servers by a smart and flexible manner. Three effected parameters are tacked into account as input for FLC: link capacity which has three linguistic variables with Gaussian membership function (MF): (small, medium and big), traffic density with linguistic variables (low, normal and high) and channel latency with linguistic variables (empty, half and full); with one output which is the share server status (single, simple and share). The proposed work has been simulated by using MATLAB 2016a, by building a structure in the Fuzzy toolbox. The results were fixed by two manners: the graphical curves and the numerical tables, the surface response was smoothly changed and translates the well-fixed control system. The numerical results of the control system satisfy the idea of the smart rout for the incoming traffics from the users to internet servers. So, the response of the proposed system for the share of server ratio is 0.122, when the input parameter in the smallest levels; and the ratio is 0.879 when the input parameters are in highest level. The smart work and flexible use for the FLC is the main success solution for most of today systems control.

Sign in / Sign up

Export Citation Format

Share Document