Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Mathematics (2)
- Residuated lattices (2)
- Algebraic logic (1)
- Categorical equivalences (1)
- Distributive lattices (1)
-
- Duality theory (1)
- Finite embeddability property (1)
- Formal Methods (1)
- Formal Software Design (1)
- Formalization (1)
- Healthcare Software (1)
- Internet of Things (1)
- Knotted axioms (1)
- Petri Net (1)
- Security System (1)
- Strong finite model property (1)
- Substructural logic (1)
- Substructural logics (1)
- System Design (1)
- TLA+ (1)
- Topological dualities (1)
- Z-notation (1)
Articles 1 - 3 of 3
Full-Text Articles in Logic and Foundations
Formalization Of A Security Framework Design For A Health Prescription Assistant In An Internet Of Things System, Thomas Rolando Mellema
Formalization Of A Security Framework Design For A Health Prescription Assistant In An Internet Of Things System, Thomas Rolando Mellema
Electronic Theses and Dissertations
Security system design flaws will create greater risks and repercussions as the systems being secured further integrate into our daily life. One such application example is incorporating the powerful potential of the concept of the Internet of Things (IoT) into software services engineered for improving the practices of monitoring and prescribing effective healthcare to patients. A study was performed in this application area in order to specify a security system design for a Health Prescription Assistant (HPA) that operated with medical IoT (mIoT) devices in a healthcare environment. Although the efficiency of this system was measured, little was presented to …
Categories Of Residuated Lattices, Daniel Wesley Fussner
Categories Of Residuated Lattices, Daniel Wesley Fussner
Electronic Theses and Dissertations
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 constructions is facilitated by both new algebraic results, and new duality-theoretic tools. On the algebraic front, we provide a complete description of implications among nontrivial distribution properties in the context of lattice-ordered structures equipped with a residuated binary operation. We also offer some new results about forbidden configurations in lattices endowed with an order-reversing involution. On the duality-theoretic front, we present new results on …
The Finite Embeddability Property For Some Noncommutative Knotted Varieties Of Rl And Drl, Riquelmi Salvador Cardona Fuentes
The Finite Embeddability Property For Some Noncommutative Knotted Varieties Of Rl And Drl, Riquelmi Salvador Cardona Fuentes
Electronic Theses and Dissertations
Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, 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 basic logical calculus FL. We denote by ������ � the varieties of knotted residuated lattices. Examples of these knotted rules include integrality and contraction. The extension of �� by the rules corresponding to these two equations is …