Results 11 to 20 of about 82,622 (268)
Weak topologies for Linear Logic [PDF]
Logical Methods in Computer Science, 2016 We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology.
Marie Kerjean
doaj +1 more source
Linear Abadi and Plotkin Logic [PDF]
Logical Methods in Computer Science, 2006 We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin's suggestions, that it can be used to define a wide ...
Lars Birkedal +2 more
doaj +1 more source
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
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 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
On noncommutative extensions of linear logic [PDF]
Logical Methods in Computer Science, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
doaj +1 more source