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 6 of 6 for “"Substructural logics"”.
-
Decidability for Residuated Lattices and Substructural Logics
… of residuated lattices and their corresponding substructural logics. The context of this analysis is the extension of residuated lattices by various simple equations, dually, the extension of substructural logics by simple structural rules, with the aim of classifying simple equations by the …
-
Subexponentials in Nonassociative Lambek Calculus
… on a family on noncommutative nonassociative substructural logics enriched with subexponentials, unary modalities licensing local application of structural rules. Primarily, we prove upper and lower bounds on complexity of provability in a broad class of these logics. To uniformly frame these …
-
The Finite Embeddability Property for Some Noncommutative Knotted Varieties of RL and DRL
… were later 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 …
-
Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
… work on Hybrid, with various specification logics (SLs), including substructural logics, formalized in Isabelle/HOL and used in turn to encode judgments of the object language. We also compare these with a variant that does not use an intermediate SL layer. In the course of the case study, …
-
Substructurality and residuation in logic and algebra
… for Classical and Intuitionistic Propositional Logics. And the rules he gave in both cases can be grouped in different categories: because of its character, the Cut rule deserves a special category for itself; then we have the rules of introduction and elimination of each one of the connectives, …