Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571517873> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1571517873 endingPage "1779" @default.
- W1571517873 startingPage "1757" @default.
- W1571517873 abstract "This article reports a correspondence between input/output logic and the theory of joining-system, an algebraic approach to normative system. The results have the form: every norm (a,x) is logically derivable from a set of norms G if and only if it is in the space of norms algebraically generated by G . We present three versions of correspondence: input/output logic and Boolean joining-system, intuitionistic input/output logic and Heyting joining-system, quasi input/output logic and quasi joining-system. The algebraic approach offers a holistic perspective on normative systems. We use isomorphism and embedding of joining-system to discuss the similarity of normative systems." @default.
- W1571517873 created "2016-06-24" @default.
- W1571517873 creator A5076675230 @default.
- W1571517873 date "2015-05-29" @default.
- W1571517873 modified "2023-10-05" @default.
- W1571517873 title "Proof theory, semantics and algebra for normative systems" @default.
- W1571517873 cites W176409044 @default.
- W1571517873 cites W1965324703 @default.
- W1571517873 cites W1971570355 @default.
- W1571517873 cites W2006112194 @default.
- W1571517873 cites W2008443647 @default.
- W1571517873 cites W2042703972 @default.
- W1571517873 cites W2046213250 @default.
- W1571517873 cites W2083603533 @default.
- W1571517873 cites W2112470766 @default.
- W1571517873 cites W2128776156 @default.
- W1571517873 cites W2170478060 @default.
- W1571517873 cites W2171753860 @default.
- W1571517873 cites W4210997442 @default.
- W1571517873 cites W4211144022 @default.
- W1571517873 cites W4239664074 @default.
- W1571517873 cites W85158541 @default.
- W1571517873 doi "https://doi.org/10.1093/logcom/exv022" @default.
- W1571517873 hasPublicationYear "2015" @default.
- W1571517873 type Work @default.
- W1571517873 sameAs 1571517873 @default.
- W1571517873 citedByCount "1" @default.
- W1571517873 countsByYear W15715178732022 @default.
- W1571517873 crossrefType "journal-article" @default.
- W1571517873 hasAuthorship W1571517873A5076675230 @default.
- W1571517873 hasBestOaLocation W15715178732 @default.
- W1571517873 hasConcept C111472728 @default.
- W1571517873 hasConcept C115624301 @default.
- W1571517873 hasConcept C118615104 @default.
- W1571517873 hasConcept C134306372 @default.
- W1571517873 hasConcept C136119220 @default.
- W1571517873 hasConcept C138885662 @default.
- W1571517873 hasConcept C185592680 @default.
- W1571517873 hasConcept C191795146 @default.
- W1571517873 hasConcept C202444582 @default.
- W1571517873 hasConcept C203436722 @default.
- W1571517873 hasConcept C2779729104 @default.
- W1571517873 hasConcept C28077239 @default.
- W1571517873 hasConcept C32241873 @default.
- W1571517873 hasConcept C33923547 @default.
- W1571517873 hasConcept C41008148 @default.
- W1571517873 hasConcept C44725695 @default.
- W1571517873 hasConcept C8010536 @default.
- W1571517873 hasConcept C86523455 @default.
- W1571517873 hasConcept C9376300 @default.
- W1571517873 hasConceptScore W1571517873C111472728 @default.
- W1571517873 hasConceptScore W1571517873C115624301 @default.
- W1571517873 hasConceptScore W1571517873C118615104 @default.
- W1571517873 hasConceptScore W1571517873C134306372 @default.
- W1571517873 hasConceptScore W1571517873C136119220 @default.
- W1571517873 hasConceptScore W1571517873C138885662 @default.
- W1571517873 hasConceptScore W1571517873C185592680 @default.
- W1571517873 hasConceptScore W1571517873C191795146 @default.
- W1571517873 hasConceptScore W1571517873C202444582 @default.
- W1571517873 hasConceptScore W1571517873C203436722 @default.
- W1571517873 hasConceptScore W1571517873C2779729104 @default.
- W1571517873 hasConceptScore W1571517873C28077239 @default.
- W1571517873 hasConceptScore W1571517873C32241873 @default.
- W1571517873 hasConceptScore W1571517873C33923547 @default.
- W1571517873 hasConceptScore W1571517873C41008148 @default.
- W1571517873 hasConceptScore W1571517873C44725695 @default.
- W1571517873 hasConceptScore W1571517873C8010536 @default.
- W1571517873 hasConceptScore W1571517873C86523455 @default.
- W1571517873 hasConceptScore W1571517873C9376300 @default.
- W1571517873 hasIssue "8" @default.
- W1571517873 hasLocation W15715178731 @default.
- W1571517873 hasLocation W15715178732 @default.
- W1571517873 hasOpenAccess W1571517873 @default.
- W1571517873 hasPrimaryLocation W15715178731 @default.
- W1571517873 hasRelatedWork W1972112806 @default.
- W1571517873 hasRelatedWork W2038106543 @default.
- W1571517873 hasRelatedWork W2156697727 @default.
- W1571517873 hasRelatedWork W2167154330 @default.
- W1571517873 hasRelatedWork W2326718950 @default.
- W1571517873 hasRelatedWork W2734938181 @default.
- W1571517873 hasRelatedWork W2885964212 @default.
- W1571517873 hasRelatedWork W2892231951 @default.
- W1571517873 hasRelatedWork W3099011196 @default.
- W1571517873 hasRelatedWork W3194712697 @default.
- W1571517873 hasVolume "28" @default.
- W1571517873 isParatext "false" @default.
- W1571517873 isRetracted "false" @default.
- W1571517873 magId "1571517873" @default.
- W1571517873 workType "article" @default.