Results 71 to 80 of about 785,300 (287)
A Framework for Intuitionistic Grammar Logics [PDF]
, 2021 Preprint of paper published at the 4th International Conference on Logic and Argumentation (CLAR 2021)
openaire +3 more sources
Applied AI Letters, Volume 6, Issue 3, October 2025.This study proposes an AI‐enhanced decision‐making framework that integrates sentiment analysis of customer reviews with q‐rung orthopair fuzzy MCDM to evaluate retailer performance. By analyzing 8,000 reviews from major U.S. retailers, the model bridges unstructured feedback and structured evaluation, offering actionable insights into service ...
Adem Pinar
wiley +1 more source
Dualising Intuitionistic Negation
Principia: An International Journal of Epistemology, 2009 One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj
A New Perspective on Intuitionistic Fuzzy Structures in Sheffer Stroke BCK-Algebras
AxiomsThis study introduces the concept of an intuitionistic fuzzy SBCK-subalgebra (SBCK-ideal) and explores the level set of an intuitionistic fuzzy set within the context of Sheffer stroke BCK-algebras.
Ravi Kumar Bandaru +3 more
doaj +1 more source
Two Constructivist Aspects of Category Theory
Philosophia Scientiæ, 2006 Category theory has two unexpected links to constructivism: First, why is topos logic so close to intuitionistic logic? The paper argues that in part the resemblance is superficial, in part it is due to selective attention, and in part topos theory is ...
Colin McLarty
doaj +1 more source
Classical Logic and Neutrosophic Logic. Answers to K. Georgiev [PDF]
Neutrosophic Sets and Systems, 2016 In this paper, we make distinctions between Classical Logic (where the propositions are 100% true, or 100 false) and the Neutrosophic Logic (where one deals with partially true, partially indeterminate and partially false propositions) in order to ...
Florentin Smarandache
doaj +1 more source
Provability Logic and the Completeness Principle
, 2018 In this paper, we study the provability logic of intuitionistic theories of arithmetic that prove their own completeness. We prove a completeness theorem for theories equipped with two provability predicates $\Box$ and $\triangle$ that prove the schemes $
Visser, Albert, Zoethout, Jetze
core +1 more source
Interval Type-2 A-Intuitionistic Fuzzy Logic for Regression Problems
IEEE transactions on fuzzy systems, 2018 This paper presents an approach to prediction based on a new interval type-2 Atanassov-intuitionistic fuzzy logic system (IT2AIFLS) of the Takagi–Sugeno–Kang fuzzy inference with neural network learning capability.
Imo J. Eyoh, R. John, Geert De Maere
semanticscholar +1 more source
Epistemic extensions of combined classical and intuitionistic propositional logic [PDF]
Logic Journal of the IGPL, 2016 Logic $L$ was introduced by Lewitzka [7] as a modal system that combines intuitionistic and classical logic: $L$ is a conservative extension of CPC and it contains a copy of IPC via the embedding $\varphi\mapsto\square\varphi$.
Steffen Lewitzka
semanticscholar +1 more source
Approximate‐Guided Representation Learning in Vision Transformer
CAAI Transactions on Intelligence Technology, Volume 10, Issue 5, Page 1459-1477, October 2025.ABSTRACT In recent years, the transformer model has demonstrated excellent performance in computer vision (CV) applications. The key lies in its guided representation attention mechanism, which uses dot‐product to depict complex feature relationships, and comprehensively understands the context semantics to obtain feature weights.
Kaili Wang +4 more
wiley +1 more source