Results 71 to 80 of about 5,025 (226)
On sequent calculi for intuitionistic propositional logic [PDF]
, 2003 summary:The well-known Dyckoff's 1992 calculus/procedure for intuitionistic propositional logic is considered and analyzed. It is shown that the calculus is Kripke complete and the procedure in fact works in polynomial space.
Vítězslav ˇ Svejdar +1 more
core +1 more source
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
The Complexity of Disjunction in Intuitionistic Logic
Journal of Logic and Computation, 2015 AbstractWe study procedures for the derivability problem of fragments of intuitionistic logic. Intuitionistic logic is known to be PSPACE-complete, with implication being one of the main contributors to this complexity. In fact, with just implication alone, we still have a PSPACE-complete logic.
R. Ramanujam 0001 +2 more
openaire +1 more source
Generalized inquisitive logic: Completeness via intuitionistic Kripke models [PDF]
, 2009 This paper investigates a generalized version of inquisitive semantics (Groenendijk, 2008b; Mascarenhas, 2008). A complete axiomatization of the associated logic is established.
Roelofsen, F.; id_orcid +4 more
core +1 more source
Intuitionistic fuzzy interpretation of a classical propositional logic formula [PDF]
Notes on IFSThe formula ¬A = (A → ((A → A) ∧ ¬(A → A))) is a tautology in the classical propositional logic. In this paper, we determine all intuitionistic fuzzy implications that satisfy this formula together with the classical intuitionistic fuzzy negation or with
Krassimir Atanassov +2 more
doaj +1 more source
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 +2 more
wiley +1 more source
Intuitionistic Linear Temporal Logics [PDF]
ACM Transactions on Computational Logic, 2019 We consider intuitionistic variants of linear temporal logic with “next,” “until,” and “release” based on expanding posets : partial orders equipped with an order-preserving transition function. This class of structures gives rise to a logic that we denote ITL e , and by imposing additional ...
Philippe Balbiani +3 more
openaire +4 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 +4 more
wiley +1 more source
A Decidable Intuitionistic Temporal Logic [PDF]
, 2017 We introduce the logic ITL^e, an intuitionistic temporal logic based on structures (W,R,S), where R is used to interpret intuitionistic implication and S is an R-monotone function used to interpret temporal modalities.
Diéguez, Martín +3 more
core +1 more source
Smart City Lighting for All Ages: Age‐Adaptive Fuzzy Systems for Real‐Time Energy Management
IET Circuits, Devices &Systems, Volume 2026, Issue 1, 2026.Taking advantage of cutting‐edge technologies to efficiently control energy consumption while prioritizing public well‐being is a wise choice for the sustainable development of cities and societies. From this perspective, the proposed approach in this study, which employs real‐time electricity pricing, user age, and user preferences as input parameters
Mohammad Javad Kalani +2 more
wiley +1 more source