Logical foundation of symmetric implicational methods for fuzzy reasoning

2020 ◽  
Vol 39 (1) ◽  
pp. 1089-1095
Author(s):  
Songsong Dai
Keyword(s):  
Fuzzy Reasoning ◽  
Logical Foundation

Umbral Calculus

10.37236/24 ◽  
2002 ◽  
Vol 1000 ◽  
Author(s):  
A. Di Bucchianico ◽  
D. Loeb
Keyword(s):  
19Th Century ◽  
Finite Differences ◽  
State Of The Art ◽  
Umbral Calculus ◽  
Current State ◽  
Logical Foundation ◽  
Complete Bibliography ◽  
The 19Th Century ◽  
Mathematical Literature

We survey the mathematical literature on umbral calculus (otherwise known as the calculus of finite differences) from its roots in the 19th century (and earlier) as a set of “magic rules” for lowering and raising indices, through its rebirth in the 1970’s as Rota’s school set it on a firm logical foundation using operator methods, to the current state of the art with numerous generalizations and applications. The survey itself is complemented by a fairly complete bibliography (over 500 references) which we expect to update regularly.

Petrophysical Facies Classification Based on Fuzzy Inference Networks

2013 ◽  
Vol 634-638 ◽  
pp. 4017-4021
Author(s):  
Jun Hui Pan ◽  
Hui Wang ◽  
Xiao Gang Yang
Keyword(s):  
Fuzzy Inference ◽  
Fuzzy Reasoning ◽  
Real Data ◽  
Analysis Data ◽  
Classification Model ◽  
Core Analysis ◽  
Development Zone ◽  
The Real ◽  
Facies Classification ◽  
Quantitative Indicators

Aiming at the petrophysical facies recognition, a novel identification method based on the weighted fuzzy reasoning networks is proposed in the paper. First, the types and indicators are obtained from core analysis data and the results given by experts, and then the standard patterning database of reservoir petrophysical facies is established. Secondly, by integrating expert experiences and quantitative indicators to reflect the change of petrophysical facies, the classification model of petrophysical facies based on the weighted fuzzy reasoning networks is designed. The preferable application results are presented by processing the real data from the Sabei development zone of Daqing oilfield.

scholarly journals On Polymorphic Sessions and Functions

2021 ◽  
Vol 43 (2) ◽  
pp. 1-55
Author(s):  
Bernardo Toninho ◽  
Nobuko Yoshida
Keyword(s):  
Natural Deduction ◽  
Sequent Calculus ◽  
Linear Logic ◽  
Linear Formulation ◽  
Session Types ◽  
Logical Foundation ◽  
Π Calculus ◽  
Soundness And Completeness ◽  
System F ◽  
Algebraic Representations

This work exploits the logical foundation of session types to determine what kind of type discipline for the Λ-calculus can exactly capture, and is captured by, Λ-calculus behaviours. Leveraging the proof theoretic content of the soundness and completeness of sequent calculus and natural deduction presentations of linear logic, we develop the first mutually inverse and fully abstract processes-as-functions and functions-as-processes encodings between a polymorphic session π-calculus and a linear formulation of System F. We are then able to derive results of the session calculus from the theory of the Λ-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations in System F; and (2) we extend our results to account for value and process passing, entailing strong normalisation.

A fuzzy reasoning-based sequencing of arrival aircraft in the terminal area

1997 ◽  
Author(s):  
John Robinson, III ◽  
Thomas Davis ◽  
Douglas Isaacson ◽  
John Robinson, III ◽  
Thomas Davis ◽  
...  
Keyword(s):  
Fuzzy Reasoning ◽  
Terminal Area

scholarly journals Performance measurement model for ranking of educational institutes: a fuzzy reasoning approach

2021 ◽  
Vol 1797 (1) ◽  
pp. 012012
Author(s):  
Mrinmoy Dam ◽  
Debasish Majumder ◽  
Rupak Bhattacharjee ◽  
Shyam Sundar Santra
Keyword(s):  
Performance Measurement ◽  
Fuzzy Reasoning ◽  
Measurement Model

Application of fuzzy reasoning to prediction of beef sirloin quality using time temperature integrators (TTIs)

Food Control ◽  
2012 ◽  
Vol 24 (1-2) ◽  
pp. 148-153 ◽  
Author(s):  
Jin Young Han ◽  
Min Jung Kim ◽  
Soo Dong Shim ◽  
Seung Ju Lee
Keyword(s):  
Fuzzy Reasoning
Sign in / Sign up

Export Citation Format

Share Document