Results 51 to 60 of about 19,372 (208)

Model pluralism for logic

Noûs, Volume 60, Issue 1, Page 136-160, March 2026.
Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley   +1 more source

Adaptive Fuzzy PID Control of Two‐DOF Pneumatic Artificial Muscle Manipulators for Leg Rehabilitation

Engineering Reports, Volume 8, Issue 2, February 2026.
Two‐degree‐of‐freedom manipulator driven by PAM. ABSTRACT Rehabilitation robots are machines that allow patients to perform practice movements and ought to be sufficiently compliant for safe human interaction. Most robots today use hydraulic systems and continually rotating servo motors, making them less suitable for rehabilitation.
Solomon Ferede Ezez, Chala Merga Abdissa, Melkamu Bekele Leza   +2 more
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

Axioms
This 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, Rajesh Neelamegarajan, Tahsin Oner, Amal S. Alali   +3 more
doaj   +1 more source

Designing and developing Intuitionistic Fuzzy Logic Toolbox in MATLAB: Membership and non-membership functions gallery [PDF]

Notes on IFS
The authors have designed and developed algorithms for pattern recognition and clustering techniques using intuitionistic fuzzy (IF) sets, IF operators, IF logic (IFL) – shortest path in networks using IF graphs and IF hypergraphs – video processing ...
Kaviranjanii G., Parvathi Rangasamy
doaj   +1 more source

On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas.
Federico Aschieri
doaj   +1 more source

Sustainable Supplier Selection of E‐Commerce Industry in Bangladesh: An Integrated TOPSIS‐AHP Approach

Engineering Reports, Volume 8, Issue 2, February 2026.
Rapid growth in e‐commerce has intensified the need for suppliers that align with sustainability objectives rather than focusing solely on cost and delivery speed. To address this challenge, the study applies an integrated AHP–TOPSIS framework in which Analytic Hierarchy Process assigns criterion weights—Environmental Impact (0.633), Lead Time (0.260),
Khandoker Arbab Shahriar, Hrittik Mural, Monowar Wadud Hridoy   +2 more
wiley   +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

Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic [PDF]

, 2013
International audienceWe combine intuitionistic logic and classical logic into a new, first-order logic called Polarized Intuitionistic Logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish ...
Andreoli, Beth, Chuck Liang, Ciabattoni, Ciabattoni, Dale Miller, Del Cerro, Dragalin, Dyckhoff, Ferreira, Fitting, Gentzen, Girard, Girard, Glivenko, Goré, Ilik, Kripke, Liang, Liang, Rauszer, Troelstra, Veldman   +22 more
core   +3 more sources

Optimising Wave Energy Plant Location Through Neutrosophic Multi‐Criteria Group Decision‐Making

CAAI Transactions on Intelligence Technology, Volume 11, Issue 1, Page 167-189, February 2026.
ABSTRACT The global shift towards sustainable energy has intensified research into renewable sources, particularly wave energy. Pakistan, with its long coastline, holds significant potential for wave energy development. However, identifying optimal locations for wave energy plants involves evaluating complex, multi‐faceted criteria.
Hafiz Muhammad Athar Farid, Ayesha Razzaq, Muhammad Riaz, Tapan Senapati, Sarbast Moslem   +4 more
wiley   +1 more source