Results 51 to 60 of about 83,510 (168)
The rôle of linear logic in coalgebraical approach of computing
Journal of Information and Organizational Sciences, 2011 Linear logic provides a logical perspective on computational issues such as control of resources and order of evaluation. The most important feature of linear logic is that formulae areconsidered as actions.
Viliam Slodičák, Pavol Macko
doaj
Annals of Pure and Applied Logic, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Two-variable Logic with Counting and a Linear Order [PDF]
Logical Methods in Computer Science, 2016 We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures.
Witold Charatonik, Piotr Witkowski
doaj +1 more source
Notre Dame Journal of Formal Logic, 1989 Linear logic" (LL; see Girard (6)) was proposed to be of use in computer science, but it can be formulated as a "display logic" (DL; see Belnap (2)), which is a kind of Gentzen calculus admitting easy proof of an Elimination Theorem. Thus LL is naturally placed within a wider proof- theoretical framework that is known to include relevance, intuitionist,
openaire +2 more sources
Mixed logical-linear programming
Discrete Applied Mathematics, 1999 Mixed logical/linear programming (MLLP) is an extension of mixed integer/linear programming (MILP). It can represent the discrete elements of a problem with logical propositions and provides a more natural modeling framework than MILP. It can also have computational advantages, partly because it eliminates integer variables when they serve no purpose ...
John N. Hooker +1 more
openaire +2 more sources
Bistructures, bidomains and linear logic [PDF]
BRICS Report Series, 1994 Bistructures are a generalisation of event structures to represent spaces of functions at higher types; the partial order of causal dependency is replaced by two orders, one associated with input and the other output in the behaviour of functions. Bistructures form a categorical model of Girard's classical linear logic in which the involution of linear
Gordon D. Plotkin, Glynn Winskel
openaire +2 more sources
On the π-calculus and linear logic
Theoretical Computer Science, 1994 The authors extend the Curry-Howard ``formulae-as-types/proofs-as- objects'' isomorphism to what Abramsky calls the ``proofs-as-processes'' paradigm, translating linear logic into the \(\pi\)-calculus. The \(\pi\)- calculus is a formalism, with the flavor of the \(\lambda\)-calculus, for capturing concurrency.
BELLIN, Gianluigi, P. J. Scott
openaire +2 more sources
Classical linear logic of implications [PDF]
Mathematical Structures in Computer Science, 2002 Summary: We give a simple term calculus for the multiplicative exponential fragment of classical linear logic, by extending Barber and Plotkin's dual-context system for the intuitionistic case. The calculus has the nonlinear and linear implications as the basic constructs, and this design choice allows a technically manageable axiomatisation without ...
openaire +1 more source
Logic-Dynamic Approach to Fault Diagnosis in Mechatronic Systems
International Journal of Advanced Robotic Systems, 2006 This paper presents a problem of fault detection and isolation (FDI) in mechatronic systems described by nonlinear dynamic models with such types of no differentiable nonlinearities as saturation, Coulomb friction, backlash, and hysteresis. To solve this
V. F. Filaretov, A. N. Zhirabok
doaj +1 more source
The logic of linear propositions
Logic Journal of the IGPL, 2019 Abstract I prove linear compactness and linear completeness for various forms of linear propositional logic where the value space is a module over a ring.
openaire +1 more source