Results 21 to 30 of about 823,326 (291)

A Linear/Producer/Consumer Model of Classical Linear Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
This paper defines a new proof- and category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to ! and ?.
Jennifer Paykin, Steve Zdancewic
doaj   +1 more source

Cut Elimination in Multifocused Linear Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
We study cut elimination for a multifocused variant of full linear logic in the sequent calculus. The multifocused normal form of proofs yields problems that do not appear in a standard focused system, related to the constraints in grouping rule ...
Taus Brock-Nannestad, Nicolas Guenot
doaj   +1 more source

Robust Linear Temporal Logic [PDF]

, 2015
Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guarantees, it is less clear how to make this intuitive notion of robustness ...
Neider, Daniel, Tabuada, Paulo
core   +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 ...
Hooker, J.N., Osorio, M.A.
openaire   +2 more sources

We know what we are, but not what we may be

The Journal for Transdisciplinary Research in Southern Africa, 2006
This essay attempts to trace a personal journey from a liberal humanist stance to an awareness of non-dualism within the altering landscape of contemporary advances in technology.
Dennis Schauffer
doaj   +1 more source

Proof Diagrams for Multiplicative Linear Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
The original idea of proof nets can be formulated by means of interaction nets syntax. Additional machinery as switching, jumps and graph connectivity is needed in order to ensure correspondence between a proof structure and a correct proof in sequent ...
Matteo Acclavio
doaj   +1 more source

From Linear Logic to Cyclic Sharing [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
We present a translation from Multiplicative Exponential Linear Logic to a simply-typed lambda calculus with cyclic sharing. This translation is derived from a simple observation on the Int-construction on traced monoidal categories.
Masahito Hasegawa
doaj   +1 more source

Functional Interpretations of Intuitionistic Linear Logic [PDF]

Logical Methods in Computer Science, 2011
We present three different functional interpretations of intuitionistic linear logic ILL and show how these correspond to well-known functional interpretations of intuitionistic logic IL via embeddings of IL into ILL.
Gilda Ferreira, Paulo Oliva
doaj   +1 more source

A Linear Logical Framework [PDF]

Information and Computation, 2002
We present the linear type theory LLF as the formal basis for a conservative extension of the LF logical framework. LLF combines the expressive power of dependent types with linear logic to permit the natural and concise representation of a whole new class of deductive systems, namely those dealing with state.
Cervesato, Iliano, Pfenning, Frank
openaire   +1 more source

A Parallel Linear Temporal Logic Tableau [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
For many applications, we are unable to take full advantage of the potential massive parallelisation offered by supercomputers or cloud computing because it is too hard to work out how to divide up the computation task between processors in such a way ...
John C. McCabe-Dansted, Mark Reynolds
doaj   +1 more source