Results 51 to 60 of about 4,006 (251)
Cut Elimination for the Unified Logic
, 1993 In the paper entitled "On the Unity of Logic", J.-Y. Girard presented a calculus, called LU, which is common to classical logic, intuitionistic logic and linear logic.
Vauzeilles, Jacqueline
core
AI &Innovation, EarlyView.ABSTRACT The rapid evolution of the Internet of Things (IoT) has significantly advanced the field of electrocardiogram (ECG) monitoring, enabling real‐time, remote, and patient‐centric cardiac care. This paper presents a comprehensive survey of AI assisted IoT‐based ECG monitoring systems, focusing on the integration of emerging technologies such as ...
Amrita Choudhury +2 more
wiley +1 more source
Exploiting planarity in separation routines for the symmetric traveling salesman problem [PDF]
, 2008 At present, the most successful approach for solving large-scale instances of the Symmetric Traveling Salesman Problem to optimality is branch-and-cut.
Adam N. Letchford +5 more
core +1 more source
American Journal of Agricultural Economics, EarlyView.Abstract Crop insurance is undoubtedly an extremely valuable element in protecting agricultural businesses, but in many cases standard indemnity‐based products have had very low uptake due to high transaction costs elevating premiums to unaffordable levels.
Amogh Prakasha Kumar +2 more
wiley +1 more source
A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
CoRRIn the realm of light logics deriving from linear logic, a number of variants of exponential rules have been investigated. The profusion of such proof systems induces the need for cut-elimination theorems for each logic, the proof of which may be redundant. A number of approaches in proof theory have been adopted to cope with this need.
Saurin, Alexis, Bauer, Esaïe
openaire +3 more sources
Automata, Resolution, and Cut-elimination
, 2016 Automata, Resolution, and Cut-elimination are three methods to prove the decidability of provability in various logics. The goal of this paper is to understand the relation between these three methods, using Alternating pushdown systems as a unifying ...
Dowek, Gilles +2 more
core
A new calculus for intuitionistic Strong Loeb logic: strong termination and cut-elimination, formalised [PDF]
, 2023 We provide a new sequent calculus that enjoys syntactic cut-elimination and strongly terminating backward proof search for the intuitionistic Strong Löb logic iSL, an intuitionistic modal logic with a provability interpretation.
van der Giessen, Iris +3 more
core
Surface Charges Guided Quasi‐TEM‐mode Microwave Propagation along Dielectric Nanowire
Advanced Physics Research, EarlyView.According to Maxwell's equations, a single‐conductor transmission line cannot allow TEM‐mode electromagnetic wave propagation, however, this is based upon the assumption that dielectric material is isolated from the environment. In practice, surface electrostatic charges widely existed in nano‐materials with large surface‐to‐volume ratio.
BoYan Xu +7 more
wiley +1 more source
The Anatomical Record, EarlyView.Domestic rabbits of different body sizes differ disproportionately in the length of their tooth row or the length of their diastema. Abstract In various domestic mammals, smaller breeds tend to have proportionally larger teeth, whereas this is not a universal trend across mammals.
Ursina L. Fasciati +3 more
wiley +1 more source
Anatomical Sciences Education, Volume 18, Issue 3, Page 241-253, March 2025.Abstract This study describes the process of developing a high‐impact, low‐cost, and low‐maintenance air ventilation system for anatomy facilities. It employed the strategic application of Value Engineering (VE), assuring that the air ventilation system meets contemporary threshold limit values (TLVs) for formaldehyde in the working zone of dissection ...
Jürgen Russ, Niels Hammer
wiley +1 more source