Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- AHP (1)
- Analytic Hierarchy Process (1)
- Cryptography (1)
- DSmT (1)
- Data storage (1)
-
- Decision Making (1)
- Display calculus (1)
- Dynamic epistemic logic (1)
- Fuzzy model (1)
- Fuzzy sets (1)
- Fuzzy soft sets (1)
- Information Fusion (1)
- Information fusion (1)
- Intuitionistic fuzzy sets (1)
- Intuitionistic fuzzy soft sets (1)
- Matrices (1)
- Multi-Criteria (1)
- Neutrosophic logic (1)
- Neutrosophic model (1)
- PCR5 fusion rules (1)
- Proof-theoretic semantics (1)
Articles 1 - 5 of 5
Full-Text Articles in Logic and Foundations
A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
Engineering Faculty Articles and Research
The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural …
Importance Of Sources Using The Repeated Fusion Method And The Proportional Conflict Redistribution Rules #5 And #6, Florentin Smarandache, Jean Dezert
Importance Of Sources Using The Repeated Fusion Method And The Proportional Conflict Redistribution Rules #5 And #6, Florentin Smarandache, Jean Dezert
Branch Mathematics and Statistics Faculty and Staff Publications
We present in this paper some examples of how to compute by hand the PCR5 fusion rule for three sources, so the reader will better understand its mechanism. We also take into consideration the importance of sources, which is different from the classical discounting of sources.
Distance In Matrices And Their Applications To Fuzzy Models And Neutrosophic Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral
Distance In Matrices And Their Applications To Fuzzy Models And Neutrosophic Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral
Branch Mathematics and Statistics Faculty and Staff Publications
In this book authors for the first time introduce the notion of distance between any two m n matrices. If the distance is 0 or m n there is nothing interesting. When the distance happens to be a value t; 0 < t < m n the study is both innovating and interesting. The three cases of study which is carried out in this book are 1. If the difference between two square matrices is large, will it imply the eigen values and eigen vectors of those matrices are distinct? Several open conjectures in this direction are given. 2. The difference between parity check matrix and the generator matrix for the same C(n, k) code is studied. This will help in detecting errors in storage systems as well as in cryptography.
New Operations On Intuitionistic Fuzzy Soft Sets Based On First Zadeh's Logical Operators, Florentin Smarandache, Said Broumi, Pinaki Majumdar
New Operations On Intuitionistic Fuzzy Soft Sets Based On First Zadeh's Logical Operators, Florentin Smarandache, Said Broumi, Pinaki Majumdar
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper , we have defined First Zadeh’s implication , First Zadeh’s intuitionistic fuzzy conjunction and intuitionistic fuzzy disjunction of two intuitionistic fuzzy soft sets and some their basic properties are studied with proofs and examples.
Multi-Criteria Decision Making Based On Dsmt-Ahp, Jean Dezert, Jean Marc Tacnet, Mireille Batton-Hubert, Florentin Smarandache
Multi-Criteria Decision Making Based On Dsmt-Ahp, Jean Dezert, Jean Marc Tacnet, Mireille Batton-Hubert, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper, we present an extension of the multicriteria decision making based on the Analytic Hierarchy Process (AHP) which incorporates uncertain knowledge matrices for generating basic belief assignments (bba’s). The combination of priority vectors corresponding to bba’s related to each (sub)- criterion is performed using the Proportional Conflict Redistribution rule no. 5 proposed in Dezert-Smarandache Theory (DSmT) of plausible and paradoxical reasoning. The method presented here, called DSmT-AHP, is illustrated on very simple examples.