Matches in SemOpenAlex for { <https://semopenalex.org/work/W4236205883> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4236205883 endingPage "322" @default.
- W4236205883 startingPage "321" @default.
- W4236205883 abstract "Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 (1991) 1–77.•Domain theory, the mathematical theory of computation introduced by Scott as a foundation for detonational semantics•The theory of concurrency and systems behaviour developed by Milner, Hennesy based on operational semantics.•Logics of programsStone duality provides a junction between semantics (spaces of points=detonations of computational processes) and logics (lattices of properties of processes). Moreover, the underlying logic is geometric, which can be computationally interpreted as the logic of observable properties—i.e., properties which can be determined to hold of a process on the basis of a finite amount of information about its execution.These ideas lead to the following programme.(1)A metalanguage is introduced, comprising•types = universes of discourse for various computational situations;•terms = programs = syntactic intensions for models or points.(2)A standard denotational interpretation of the metalanguage is given, assigning domains to types and domain elements to terms.(3)The metalanguage is also given a logical interpretation, in which types are interpreted as propositional theories and terms are interpreted via a program logic, which axiomatises the properties they satisfy.(4)The two interpretations are related by showing that they are Stone duals of each other. Hence, semantics and logic are guaranteed to be in harmony with each other, and in fact each determines the other up to isomorphism.(5)This opens the way to a whole range of applications. Given a denotational description of a computational situation in our metalanguage, we can turn the handle to obtain a logic for that situation." @default.
- W4236205883 created "2022-05-12" @default.
- W4236205883 date "1962-10-01" @default.
- W4236205883 modified "2023-09-27" @default.
- W4236205883 title "Square-loop ferrite circuitry" @default.
- W4236205883 doi "https://doi.org/10.1016/0016-0032(62)90841-4" @default.
- W4236205883 hasPublicationYear "1962" @default.
- W4236205883 type Work @default.
- W4236205883 citedByCount "0" @default.
- W4236205883 crossrefType "journal-article" @default.
- W4236205883 hasConcept C121375916 @default.
- W4236205883 hasConcept C136119220 @default.
- W4236205883 hasConcept C142998047 @default.
- W4236205883 hasConcept C154945302 @default.
- W4236205883 hasConcept C156325763 @default.
- W4236205883 hasConcept C184337299 @default.
- W4236205883 hasConcept C199360897 @default.
- W4236205883 hasConcept C202444582 @default.
- W4236205883 hasConcept C207648694 @default.
- W4236205883 hasConcept C2780654840 @default.
- W4236205883 hasConcept C33923547 @default.
- W4236205883 hasConcept C41008148 @default.
- W4236205883 hasConcept C80444323 @default.
- W4236205883 hasConceptScore W4236205883C121375916 @default.
- W4236205883 hasConceptScore W4236205883C136119220 @default.
- W4236205883 hasConceptScore W4236205883C142998047 @default.
- W4236205883 hasConceptScore W4236205883C154945302 @default.
- W4236205883 hasConceptScore W4236205883C156325763 @default.
- W4236205883 hasConceptScore W4236205883C184337299 @default.
- W4236205883 hasConceptScore W4236205883C199360897 @default.
- W4236205883 hasConceptScore W4236205883C202444582 @default.
- W4236205883 hasConceptScore W4236205883C207648694 @default.
- W4236205883 hasConceptScore W4236205883C2780654840 @default.
- W4236205883 hasConceptScore W4236205883C33923547 @default.
- W4236205883 hasConceptScore W4236205883C41008148 @default.
- W4236205883 hasConceptScore W4236205883C80444323 @default.
- W4236205883 hasIssue "4" @default.
- W4236205883 hasLocation W42362058831 @default.
- W4236205883 hasOpenAccess W4236205883 @default.
- W4236205883 hasPrimaryLocation W42362058831 @default.
- W4236205883 hasRelatedWork W2024851363 @default.
- W4236205883 hasRelatedWork W2056640187 @default.
- W4236205883 hasRelatedWork W2058033966 @default.
- W4236205883 hasRelatedWork W2068328548 @default.
- W4236205883 hasRelatedWork W2069293912 @default.
- W4236205883 hasRelatedWork W2069431698 @default.
- W4236205883 hasRelatedWork W2318519086 @default.
- W4236205883 hasRelatedWork W3047106363 @default.
- W4236205883 hasRelatedWork W4232013368 @default.
- W4236205883 hasRelatedWork W7943451 @default.
- W4236205883 hasVolume "274" @default.
- W4236205883 isParatext "false" @default.
- W4236205883 isRetracted "false" @default.
- W4236205883 workType "article" @default.