Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 15 of 15 for “"linear logic"”.
-
Modal and fixpoint linear logic.
… the algebraic and relational semantics of modal logic to model J.-Y. Girard's linear logic extended with general modalities. This work extends the work of M. D'Agostino, D. Gabbay, and A. Russo on modalities in implication systems, which include a fragment of linear logic, and the work of J.-Y. …
-
Linear Logic and Noncommutativity in the Calculus of Structures
… thesis I study several deductive systems for linear logic, its fragments, and some noncommutative extensions. All systems will be designed within the calculus of structures, which is a proof theoretical formalism for specifying logical systems, in the tradition of Hilbert's formalism, natural …
-
The design and implementation of an actor language based on linear logic
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
Proof search issues in some non-classical logics
… in both these senses for some non-classical logics. Gentzen systems are well suited for use in proof search in both senses. The rules of Gentzen sequent calculi are such that implementations can be directed by the top level syntax of sequents, unlike other logical calculi such as natural …
-
Information extraction and integration in mineral exploration.
Geologic information extraction and integration are the main goals of this study. Tools are designed to aid in exploration for common mineral deposits by intelligently and efficiently processing spatial geological data. Gabor filters, comprising Gaussian-attenuated sinusoidal weight vectors, are …
-
The Liminal Space of Dreams: Narration of Dreams in Graphic novel and Comics
… means of visual storytelling. Focusing on psychological, symbolic, and aesthetic functions of dream narrative, I demonstrate that dream narration offers an allegory by means of which both creator and reader can explore issues of identity, desire and trauma in an intimate and healing way. In …
-
Visualizing and interpreting convolutional neural networks on genomic data
… derived features through a hierarchy of non-linear layers has proven superior to other machine learning methods. However, interpretation of the resulting genomic deep learning networks remains challenging. While many network visualization tools focus on directly mapping high level neuron …
-
Probabilistic concurrent game semantics
… into a cartesian closed bicategory using a linear exponential pseudo-comonad inspired by linear logic. Then, we enrich this with probability, relying heavily on Winskel's model of probabilistic concurrent strategies. We see that the bicategorical structure is not perturbed by the addition of …
-
Linear/non-Linear Types For Embedded Domain-Specific Languages
… However, when the domain-specific language uses linear types, existing techniques for embedded languages fall short. Linear type systems, which have applications in a wide variety of programming domains including mutable state, I/O, concurrency, and quantum computing, can manipulate embedded …
-
Adapting to western norms of academic argumentation and debate.
… rigorous, `strong' critical thinking, polarised, linear logic, and `wrestling debate'. Instead, many of them opt for a `Middle Way', which synthesises those elements of Western academic norms that are perceived to be culturally acceptable, with the traditional cultural academic values held by many …
-
Hybrid Concept Formation Through Interaction with a Situated Reasoner
… of these tools do not align with the ontological principles of the designer, and the user's experience reflects only a simulated snapshot of the model at any given time. This results in designers grappling with ill-fitting protocols and the challenge of maintaining semantic integrity in …
-
Exploring adaptive policy management and evaluation for improved water resources management in the face of uncertainty and complexity in South Africa
… management policy is unlikely to follow a linear logic of change/impact. The adoption of adaptive policy management strategies to ensure policy flexibility and efficiency is warranted especially for policies managed in the face of deep uncertainty and complexity mainly driven by the …
-
The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL
… shown to form algebraic models for substructural logics. The latter are non-classical logics that include intuitionistic, relevance, many-valued, and linear logic, among others. Most of the important examples of substructural logics are obtained by adding structural rules to the basic logical …
-
Substructurality and residuation in logic and algebra
A very and natural way of introducing a logic is by using a sequent calculus, or Gentzen system. These systems are determined by specifying a set of axioms and a set of rules. Axioms are then starting points from which we can derive new consequences by using the rules. Hilbert systems consist also …