This study presents a smart agriculture mechanism model equipped with neutrosophy theory for the first time. The model is created by meticulously bringing together the fields of decision making, IoT and cloud computing. We have demonstrated that smart agriculture can be used in integration with neutrosophic, integrated with IoT. This integration is a model created by making much more detailed calculations by taking into account and using the uncertainty situations in neutrosophic numbers and logic, by automating both the geometric analysis of the soil and surface control and the numerical data of the environment for smart agriculture.
In recent years, ''mathematical orientations on real-life problems'', which continue to increase, began to make a significant impact. Information systems for many decision-making problems consist of uncertain, incomplete, indeterminate and indiscernible structures and components. Classical set theory and interpretation methods fail to represent, express and solve the problems of these types or cause to make wrong decisions. For this reason, in this study, we provide definitions and methods to present information and problem representations in more detail and precision. This paper introduces three new topologies called covering-based rough fuzzy, covering-based rough intuitionistic fuzzy and covering-based rough neutrosophic nano topology. Some fundamental definitions such as open set, closed set, interior, closure and basis are given. Neutrosophic definitions and properties are mainly investigated. We give some real life applications of covering-based rough neutrosophic nano topology in the final part of the paper and an explanatory example of decision making application by defining core point.
This paper enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: All x are y and Some x are y, There are at least as many x as y, and There are more x than y. Here x and y range over subsets (not elements) of a given infinite set. Moreover, x and y may appear complemented (i.e., as x and y), with the natural meaning. We formulate a logic for our language that is based on the classical syllogistic. The main result is a soundness/completeness theorem. There are efficient algorithms for proof search and model construction.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.