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 7 of 7 for “"Algebraic logic"”.
-
Sharp and Unsharp Structures. A Unifying Framework for Algebraic Logic
This work lies within the realm of algebraic logic, focusing on structures that are central in their respective fields and extensively studied. In the first part, it investigates the categorical equivalence between (indexed) Boolean algebras and regular double Stone algebras. Despite their strong …
-
Complex algebras, varieties and games
… proven very useful in presenting the modern day logician with a tool to approach a wide variety of problems in the field of algebraic logic. This dissertation is intended as an exploration of various approaches to the study of complex algebras. In particular we will take a look at the logical and …
-
Social enterprise business models: identifying the trading concepts that inform them.
… was evaluated using QCA. Based on Boolean algebraic logic, QCA revealed that no specific combination is financially advantageous to nonprofit social enterprises, suggesting that each trading concept is equally useful or valid. Social enterprise managers and strategists may use this set of …
-
Decidability for Residuated Lattices and Substructural Logics
… 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 decidability …
-
Una interpretación algebraica de la verificación de sistemas basados en el conocimiento
… adecuadamente los conceptos propios de la Lógica Algebraica haciendo posible su aplicación en la representación de Sistemas Basados en el Conocimiento. Se ha construido un modelo formal que, no sólo permite expresar el conocimiento contenido en la base y su evolución durante el razonamiento del …
-
Categories of Residuated Lattices
<p>We present dual variants of two algebraic constructions of certain classes of residuated lattices: The Galatos-Raftery construction of Sugihara monoids and their bounded expansions, and the Aguzzoli-Flaminio-Ugolini quadruples construction of srDL-algebras. Our dual presentation of these …
-
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 …