Related papers: Intuitionistic Neutrosophic Soft Set
We introduce the concept of access-based intuitionistic knowledge which relies on the intuition that agent $i$ knows $\varphi$ if $i$ has found access to a proof of $\varphi$. Basic principles are distribution and factivity of knowledge as…
The concept of fuzzy soft set was introduced for the first time by Maji et al. in 2002, and was considered sharply from applicable aspects to theoretical aspects by a wide range of researchers. In this paper the concept of fuzzy soft norm…
The cluster soft point is an attempt to introduce a novel generalization of the soft closure point and the soft limit point. A cluster soft set is defined to be the system of all cluster soft points of a soft set. Then the fundamental…
The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of…
In this paper, we define precompact set in intuitionistic fuzzy metric spaces and prove that any subset of an intuitionistic fuzzy metric space is compact if and only if it is precompact and complete. Also we define topologically complete…
We propose a new cubical type theory, termed (self-deprecatingly) the naive cubical type theory, and study its semantics using the universe category framework, which is similar to Uemura's categories with representable morphisms. In…
In 1999, Molodtsov \cite{1} developed the idea of soft set theory, proving it to be a flexible mathematical tool for dealing with uncertainty. Several researchers have extended the framework by combining it with other theories of…
In this paper, we introduce semiopen and semiclosed fuzzy soft sets in fuzzy soft topological spaces. Various properties of these sets are studied alongwith some characterizations. Further, we generalize the structures like interior and…
In this paper, we introduce the topological structure of fuzzy parametrized soft sets and fuzzy parametrized soft mappings. We define the notion of quasi-coincidence for fuzzy parametrized soft sets and investigated basic properties of it.…
Metaphysical interpretations of set theory are either inconsistent or incoherent. The uses of sets in mathematics actually involve three distinct kinds of collections (surveyable, definite, and heuristic), which are governed by three…
We investigate the logical structure of intuitionistic Kripke-Platek set theory IKP, and show that the first-order logic of IKP is intuitionistic first-order logic IQC.
In this paper we have introduced the notion of $\mathcal{I}$-sparse set in the space of reals and explored some properties of the family of $\mathcal{I}$-sparse sets. Thereafter we have induced a topology namely $\mathcal{I}$-sparse set…
This work is a mathematician's attempt to understand intuitionistic logic. It can be read in two ways: as a research paper interspersed with lengthy digressions into rethinking of standard material; or as an elementary (but highly…
The real world is inherently uncertain, imprecise and vague. Soft set theory was firstly introduced by Molodtsov in 1999 as a general mathematical tool for dealing with uncertainties, not clearly defined objects. A soft set consists of two…
The concept of interval-valued fuzzy soft $\beta$-covering approximation spaces (IFS$\beta$CASs) is introduced to combine the theories of soft sets, rough sets and interval-valued fuzzy sets, and some fundamental propositions concerning…
Probabilistic Soft Logic has been proposed and used in several applications as an efficient way to deal with inconsistency, uncertainty and relational representation. In several applications, this approach has led to an adequate description…
Intuitionistic epistemic logic introduces an epistemic operator, which reflects the intended BHK semantics of intuitionism, to intuitionistic logic. The fundamental assumption concerning intuitionistic knowledge and belief is that it is the…
Decision tree induction systems are being used for knowledge acquisition in noisy domains. This paper develops a subjective Bayesian interpretation of the task tackled by these systems and the heuristic methods they use. It is argued that…
The process of cognition is analysed to adjust the set theory to physical description. Postulates and basic definitions are revised. The specific sets of predicates, called presets, corresponding to the physical objects identified by an…
Many current methods to learn intuitive physics are based on interaction networks and similar approaches. However, they rely on information that has proven difficult to estimate directly from image data in the past. We aim to narrow this…