Results 51 to 60 of about 2,682,535 (254)
On Multiplicative Linear Logic, Modality and Quantum Circuits [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits.
Ugo Dal Lago, Claudia Faggian
doaj +1 more source
An Investigation into the Multi-Pass Radial-Mode Micro Abrasive Air Jet Turning of Fused-Silica Rods
Machines, 2023 With the increased requirement of miniaturization structures on hard and brittle substrates, micro abrasive air jet turning technology has become a promising machining technology for manufacturing miniaturization structures.
Ruibo Yang +4 more
doaj +1 more source
A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs [PDF]
, 2016 Reference [12] introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of first-order modal logics, bypassing a need to convert them first into Gentzen style logics in order to rely on ...
Tourlakis, George
core +1 more source
Bulletin of the Section of LogicA many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj +1 more source
Composite power system reliability evaluation using modified minimal cut set approach
Alexandria Engineering Journal, 2018 The composite power system reliability analysis is generally based on minimal path or cut enumeration, tracing of power flow paths from which the related reliability indices are calculated.
T. Bharath Kumar +2 more
doaj +1 more source
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
, 2017 Hypersequent calculi (HC) can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time.
Andrzej Indrzejczak
semanticscholar +1 more source
CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION [PDF]
Journal of Symbolic Logic (JSL), 2013 We present a cut elimination argument that witnesses the conservativity of the compositional axioms for truth (without the extended induction axiom) over any theory interpreting a weak subsystem of arithmetic.
Graham Emil Leigh
semanticscholar +1 more source
On Nested Sequents for Constructive Modal Logics [PDF]
Logical Methods in Computer Science, 2015 We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5.
Lutz Strassburger +2 more
doaj +1 more source
Algebraic proofs of cut elimination
The Journal of Logic and Algebraic Programming, 2001 Jeremey Avigad. Algebraic Proofs of Cut Elimination.
openaire +1 more source
Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination [PDF]
, 1996 This paper is intended to provide an introduction to cut elimination which is accessible to a broad mathematical audience. Gentzen's cut elimination theorem is not as well known as it deserves to be, and it is tied to a lot of interesting mathematical ...
Carbone, Alessandra, Semmes, S.
core +1 more source