Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111241382> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2111241382 endingPage "70" @default.
- W2111241382 startingPage "48" @default.
- W2111241382 abstract "In the general context of the theory of institutions, several notions of parchment and parchment morphism have been proposed as the adequate setting for combining logics. However, so far, they seem to lack one of the main advantages of the combination mechanism known as fibring: general results of transference of important logical properties from the logics being combined to the resulting fibred logic. Herein, in order to bring fibring to the institutional setting, we propose to work with the novel notion of c-parchment. We show how both free and constrained fibring can be characterized as colimits of c-parchments, and illustrate both the construction and its preservation capabilities by exploring the idea of obtaining partial equational logic by fibring equational logic with a suitable logic of partiality. Last but not least, in the restricted context of propositional based, we state and prove a collection of meaningful soundness and completeness preservation results for fibring, with respect to Hilbert-like proof-calculi." @default.
- W2111241382 created "2016-06-24" @default.
- W2111241382 creator A5006730208 @default.
- W2111241382 creator A5008068694 @default.
- W2111241382 creator A5020274709 @default.
- W2111241382 creator A5049655958 @default.
- W2111241382 date "2002-01-01" @default.
- W2111241382 modified "2023-09-23" @default.
- W2111241382 title "Combining Logics: Parchments Revisited" @default.
- W2111241382 cites W1505776411 @default.
- W2111241382 cites W1534026310 @default.
- W2111241382 cites W1550385910 @default.
- W2111241382 cites W1563677648 @default.
- W2111241382 cites W1998538047 @default.
- W2111241382 cites W2010883554 @default.
- W2111241382 cites W2022355674 @default.
- W2111241382 cites W2033663641 @default.
- W2111241382 cites W2042927584 @default.
- W2111241382 cites W2060709836 @default.
- W2111241382 cites W2061476524 @default.
- W2111241382 cites W2077369743 @default.
- W2111241382 cites W2095704391 @default.
- W2111241382 cites W2142616542 @default.
- W2111241382 cites W2224144252 @default.
- W2111241382 cites W2564698430 @default.
- W2111241382 cites W3021158638 @default.
- W2111241382 cites W4229783124 @default.
- W2111241382 cites W4247128566 @default.
- W2111241382 cites W4247797067 @default.
- W2111241382 cites W4252113473 @default.
- W2111241382 doi "https://doi.org/10.1007/3-540-45645-7_3" @default.
- W2111241382 hasPublicationYear "2002" @default.
- W2111241382 type Work @default.
- W2111241382 sameAs 2111241382 @default.
- W2111241382 citedByCount "12" @default.
- W2111241382 countsByYear W21112413822012 @default.
- W2111241382 countsByYear W21112413822014 @default.
- W2111241382 countsByYear W21112413822015 @default.
- W2111241382 crossrefType "book-chapter" @default.
- W2111241382 hasAuthorship W2111241382A5006730208 @default.
- W2111241382 hasAuthorship W2111241382A5008068694 @default.
- W2111241382 hasAuthorship W2111241382A5020274709 @default.
- W2111241382 hasAuthorship W2111241382A5049655958 @default.
- W2111241382 hasConcept C41008148 @default.
- W2111241382 hasConceptScore W2111241382C41008148 @default.
- W2111241382 hasLocation W21112413821 @default.
- W2111241382 hasOpenAccess W2111241382 @default.
- W2111241382 hasPrimaryLocation W21112413821 @default.
- W2111241382 hasRelatedWork W2093578348 @default.
- W2111241382 hasRelatedWork W2350741829 @default.
- W2111241382 hasRelatedWork W2358668433 @default.
- W2111241382 hasRelatedWork W2376932109 @default.
- W2111241382 hasRelatedWork W2382290278 @default.
- W2111241382 hasRelatedWork W2390279801 @default.
- W2111241382 hasRelatedWork W2748952813 @default.
- W2111241382 hasRelatedWork W2766271392 @default.
- W2111241382 hasRelatedWork W2899084033 @default.
- W2111241382 hasRelatedWork W3004735627 @default.
- W2111241382 isParatext "false" @default.
- W2111241382 isRetracted "false" @default.
- W2111241382 magId "2111241382" @default.
- W2111241382 workType "book-chapter" @default.