Results 231 to 240 of about 785,300 (287)
Some of the next articles are maybe not open access.
A New Random Forest Ensemble of Intuitionistic Fuzzy Decision Trees
IEEE transactions on fuzzy systems, 2023Classification is essential to the applications in the field of data mining, artificial intelligence, and fault detection. There exists a strong need in developing accurate, suitable, and efficient classification methods and algorithms with broad ...
Yingtao Ren +3 more
semanticscholar +1 more source
Intuitionistic Conditional Logics
Journal of Philosophical Logic, 2019Building on recent work by Yale Weiss, we study conditional logics in the intuitionistic setting. We consider a number of semantic conditions which give rise, among others, to intuitionistic counterparts of Lewis’s logic VC and Stalnaker’s C2. We show how to obtain a sound and complete axiomatization of each logic arising from a combination of these ...
Ciardelli I, Liu X
openaire +2 more sources
A comparative study on Fuzzy Logic and Intuitionistic Fuzzy Logic
2018 International Conference on Advances in Computing, Communication Control and Networking (ICACCCN), 2018Fuzzy Logic (FL) deals with uncertainty, vagueness, imprecision, partial truth etc while reasoning process. It helps in making decision with imprecise and incomplete information.
Shahla Tarannum, Suraiya Jabin
semanticscholar +1 more source
Unification in intuitionistic logic
Journal of Symbolic Logic, 1999AbstractWe show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented
openaire +4 more sources
A Decidable Intuitionistic Temporal Logic
Annual Conference for Computer Science Logic, 2017We introduce the logic $\sf ITL^e$, an intuitionistic temporal logic based on structures $(W,\preccurlyeq,S)$, where $\preccurlyeq$ is used to interpret intuitionistic implication and $S$ is a $\preccurlyeq$-monotone function used to interpret temporal ...
Joseph Boudou +2 more
semanticscholar +1 more source
On disjunction in intuitionist logic
Proceedings of the Indian Academy of Sciences - Section A, 1943Not ...
openaire +2 more sources
Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle
Annual Conference for Computer Science Logic, 2021M. Bickford +3 more
semanticscholar +1 more source
An intuitionistically plausible interpretation of intuitionistic logic
Journal of Symbolic Logic, 1977Let IPC be the intuitionistic first-order predicate calculus. From the definition of derivability in IPC the following is clear:(1) If A is derivable in IPC, denoted by “⊦IPCA”, then A is intuitively true, that means, true according to the intuitionistic interpretation of the logical symbols.
openaire +3 more sources
Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
Mathematical Structures in Computer Science, 1995It is well known that Intuitionistic Logic can be faithfully embedded into (Intuitionistic) Linear Logic. The purpose of this paper is to study the embedding from a semantical viewpoint, by investigating the relationship between various models for Intuitionistic Logic and for Intuitionistic Linear Logic.
openaire +3 more sources
Fuzzy intuitionistic quantum logics
Studia Logica, 1993Fuzzy intuitionistic quantum logics, or Brouwer-Zadeh logics, have been introduced by the first author and \textit{G. Nistico} [Fuzzy Sets Syst. 33, 165-190 (1989; Zbl 0682.03036)]. In this model, which serves as standard version of quantum logic, the notion of negation is splitted into two forms: a fuzzy-like one and an intuitionistic one.
CATTANEO G +2 more
openaire +3 more sources