Results 31 to 40 of about 28,929 (280)
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj +1 more source
Fuzzy inequational logic [PDF]
, 2015 We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic
Vychodil, Vilem
core +1 more source
Logics of formal inconsistency arising from systems of fuzzy logic
, 2014 This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo +2 more
core +1 more source
On Admissible Total Orders for Interval-valued Intuitionistic Fuzzy Membership Degrees
Fuzzy Information and Engineering, 2016 The linearity contained in the natural order of unit interval [0,1] plays an important role in many concepts and applications of fuzzy theory. Besides, it is very important in concepts like ordered weighted aggregation operators (OWA) and fuzzy decision ...
I.A. Da Silva +2 more
doaj +1 more source
The Law of Excluded Middle and the Negation of it in many-valued and Fuzzy Logics [PDF]
حکمت و فلسفه, 2008 The philosophical critiques, in twentieth century, on binary paradigm caused the negation of the law of excluded middle as the same as it caused the establishment of many-valued logics and fuzzy logic, while the laws of excluded middle, identity and ...
morteza haj hoseyni
doaj +1 more source
A note on drastic product logic [PDF]
, 2014 The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum.
B. Schweizer +9 more
core +1 more source
A fuzzy evaluation model of manufacturing machinery in terms of sustainable business
Entrepreneurship and Sustainability Issues, 2023 The inclusion of sustainability criteria in the investment decision processes requires application of tools that consider the vague nature of sustainable characteristics. Fuzzy approach can process the vagueness of sustainability measures. The aim of the
Simona Hašková +2 more
doaj +1 more source
Remote Sensing, 2016 Digital terrain models (DTM) have been used in soil mapping worldwide. When using such models, improved predictions are often attained with the input of extra variables provided by the use of proximal sensors, such as magnetometers and portable X-ray ...
Sérgio Henrique Godinho Silva +5 more
doaj +1 more source
Neutrosophic Regular Filters and Fuzzy Regular Filters in Pseudo-BCI Algebras [PDF]
Neutrosophic Sets and Systems, 2017 Neutrosophic set is a new mathematical tool for handling problems involving imprecise, indeterminacy and inconsistent data. Pseudo-BCI algebra is a kind of non-classical logic algebra in close connection with various non-commutative fuzzy logics ...
Xiaohong Zhang +2 more
doaj +1 more source
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
Advanced Materials, EarlyView.This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur +4 more
wiley +1 more source