Matches in SemOpenAlex for { <https://semopenalex.org/work/W2301491978> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2301491978 abstract "This thesis presents two original results: (1) a Kripke (topological) semantics for general lattice based logics such as Linear Logic (sans certain operators called exponentials), and (2) a class of topological spaces dual to general lattices. Linear Logic has a variety of Computer Science applications including programming language semantics, machine architecture, and communication protocols. The analysis of Linear Logic starts by considering the algebraic semantics for much weaker logics. By a method of conservative extension, axioms and their resulting soundness conditions are built up until Linear Logic is reached. At each stage, soundness and completeness of the resulting algebraic models can be proved. Canonical Kripke models result from certain constructions on the algebraic models. These constructions generalize those of Dunn's gaggle theory (which assumes an underlying distributive lattice), which themselves already generalize constructions familiar from modal and relevance logic.Dual to one of these algebras is a particular type of ordered topological space. The duality is formalized using category theory. Each category of algebras is paired with a category of dual spaces. The relationship is accomplished with a pair of adjoint functors such that the induced monad in each of the categories can be described by a natural isomorphism (as opposed to simply a natural transformation). Operationally, this means that one can start with an algebra, apply the dualizing functor to get the dual space, and apply the other dualizing functor to get an algebra which is isomorphic to the original. A similar statement holds when starting with a space." @default.
- W2301491978 created "2016-06-24" @default.
- W2301491978 creator A5070038296 @default.
- W2301491978 date "1992-01-01" @default.
- W2301491978 modified "2023-09-22" @default.
- W2301491978 title "The duality of algebraic and Kripke models for linear logic" @default.
- W2301491978 hasPublicationYear "1992" @default.
- W2301491978 type Work @default.
- W2301491978 sameAs 2301491978 @default.
- W2301491978 citedByCount "4" @default.
- W2301491978 countsByYear W23014919782013 @default.
- W2301491978 countsByYear W23014919782014 @default.
- W2301491978 crossrefType "journal-article" @default.
- W2301491978 hasAuthorship W2301491978A5070038296 @default.
- W2301491978 hasConcept C102993220 @default.
- W2301491978 hasConcept C118615104 @default.
- W2301491978 hasConcept C134306372 @default.
- W2301491978 hasConcept C136119220 @default.
- W2301491978 hasConcept C144760519 @default.
- W2301491978 hasConcept C156772000 @default.
- W2301491978 hasConcept C160131679 @default.
- W2301491978 hasConcept C167729594 @default.
- W2301491978 hasConcept C178421362 @default.
- W2301491978 hasConcept C18364862 @default.
- W2301491978 hasConcept C199360897 @default.
- W2301491978 hasConcept C202444582 @default.
- W2301491978 hasConcept C203659156 @default.
- W2301491978 hasConcept C2524010 @default.
- W2301491978 hasConcept C2779729104 @default.
- W2301491978 hasConcept C28077239 @default.
- W2301491978 hasConcept C33923547 @default.
- W2301491978 hasConcept C39920170 @default.
- W2301491978 hasConcept C41008148 @default.
- W2301491978 hasConcept C54884031 @default.
- W2301491978 hasConcept C80444323 @default.
- W2301491978 hasConcept C9376300 @default.
- W2301491978 hasConceptScore W2301491978C102993220 @default.
- W2301491978 hasConceptScore W2301491978C118615104 @default.
- W2301491978 hasConceptScore W2301491978C134306372 @default.
- W2301491978 hasConceptScore W2301491978C136119220 @default.
- W2301491978 hasConceptScore W2301491978C144760519 @default.
- W2301491978 hasConceptScore W2301491978C156772000 @default.
- W2301491978 hasConceptScore W2301491978C160131679 @default.
- W2301491978 hasConceptScore W2301491978C167729594 @default.
- W2301491978 hasConceptScore W2301491978C178421362 @default.
- W2301491978 hasConceptScore W2301491978C18364862 @default.
- W2301491978 hasConceptScore W2301491978C199360897 @default.
- W2301491978 hasConceptScore W2301491978C202444582 @default.
- W2301491978 hasConceptScore W2301491978C203659156 @default.
- W2301491978 hasConceptScore W2301491978C2524010 @default.
- W2301491978 hasConceptScore W2301491978C2779729104 @default.
- W2301491978 hasConceptScore W2301491978C28077239 @default.
- W2301491978 hasConceptScore W2301491978C33923547 @default.
- W2301491978 hasConceptScore W2301491978C39920170 @default.
- W2301491978 hasConceptScore W2301491978C41008148 @default.
- W2301491978 hasConceptScore W2301491978C54884031 @default.
- W2301491978 hasConceptScore W2301491978C80444323 @default.
- W2301491978 hasConceptScore W2301491978C9376300 @default.
- W2301491978 hasLocation W23014919781 @default.
- W2301491978 hasOpenAccess W2301491978 @default.
- W2301491978 hasPrimaryLocation W23014919781 @default.
- W2301491978 hasRelatedWork W1502490119 @default.
- W2301491978 hasRelatedWork W1522025572 @default.
- W2301491978 hasRelatedWork W1701381474 @default.
- W2301491978 hasRelatedWork W1792540887 @default.
- W2301491978 hasRelatedWork W1992749094 @default.
- W2301491978 hasRelatedWork W2028630116 @default.
- W2301491978 hasRelatedWork W2093814492 @default.
- W2301491978 hasRelatedWork W2144927799 @default.
- W2301491978 hasRelatedWork W2165893511 @default.
- W2301491978 hasRelatedWork W2181328760 @default.
- W2301491978 hasRelatedWork W2182877775 @default.
- W2301491978 hasRelatedWork W2186838455 @default.
- W2301491978 hasRelatedWork W2481638318 @default.
- W2301491978 hasRelatedWork W2530099022 @default.
- W2301491978 hasRelatedWork W2899460941 @default.
- W2301491978 hasRelatedWork W2921241419 @default.
- W2301491978 hasRelatedWork W2936310910 @default.
- W2301491978 hasRelatedWork W2967804267 @default.
- W2301491978 hasRelatedWork W3093535394 @default.
- W2301491978 hasRelatedWork W3104417499 @default.
- W2301491978 isParatext "false" @default.
- W2301491978 isRetracted "false" @default.
- W2301491978 magId "2301491978" @default.
- W2301491978 workType "article" @default.