Results 51 to 60 of about 19,546 (208)
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
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
Designing and developing Intuitionistic Fuzzy Logic Toolbox in MATLAB: Membership and non-membership functions gallery [PDF]
Notes on IFSThe 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
Incompleteness of a first-order Gödel logic and some temporal logics of programs [PDF]
, 1996 It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant ...
Baaz, Matthias +2 more
core +2 more sources
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 +2 more
wiley +1 more source
From Translations to Non-Collapsing Logic Combinations
Bulletin of the Section of LogicPrawitz suggested expanding a natural deduction system for intuitionistic logic to include rules for classical logic constructors, allowing both intuitionistic and classical elements to coexist without losing their inherent characteristics.
João Rasga, Cristina Sernadas
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
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
The Expressive Power of Modal Dependence Logic [PDF]
, 2014 We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with ...
Hella, Lauri +3 more
core
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 +22 more
core +3 more sources