Matches in SemOpenAlex for { <https://semopenalex.org/work/W1501346310> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1501346310 abstract "Introductory overview.- Splicing logics: Syntactic fibring.- Splicing logics: Semantic fibring.- Heterogeneous fibring.- Fibring non-truth functional logics.- Fibring first-order logics.- Fibring higher-order logics.- Modulated fibring.- Splitting logics.- New trends: Network fibring.- Summing-up and outlook." @default.
- W1501346310 created "2016-06-24" @default.
- W1501346310 creator A5013942759 @default.
- W1501346310 creator A5019891741 @default.
- W1501346310 creator A5037312962 @default.
- W1501346310 creator A5060284292 @default.
- W1501346310 creator A5072300699 @default.
- W1501346310 date "2008-02-04" @default.
- W1501346310 modified "2023-09-26" @default.
- W1501346310 title "Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems" @default.
- W1501346310 hasPublicationYear "2008" @default.
- W1501346310 type Work @default.
- W1501346310 sameAs 1501346310 @default.
- W1501346310 citedByCount "9" @default.
- W1501346310 countsByYear W15013463102012 @default.
- W1501346310 countsByYear W15013463102013 @default.
- W1501346310 countsByYear W15013463102014 @default.
- W1501346310 countsByYear W15013463102015 @default.
- W1501346310 countsByYear W15013463102020 @default.
- W1501346310 crossrefType "book" @default.
- W1501346310 hasAuthorship W1501346310A5013942759 @default.
- W1501346310 hasAuthorship W1501346310A5019891741 @default.
- W1501346310 hasAuthorship W1501346310A5037312962 @default.
- W1501346310 hasAuthorship W1501346310A5060284292 @default.
- W1501346310 hasAuthorship W1501346310A5072300699 @default.
- W1501346310 hasConcept C10138342 @default.
- W1501346310 hasConcept C111472728 @default.
- W1501346310 hasConcept C138885662 @default.
- W1501346310 hasConcept C144133560 @default.
- W1501346310 hasConcept C154945302 @default.
- W1501346310 hasConcept C182306322 @default.
- W1501346310 hasConcept C1883856 @default.
- W1501346310 hasConcept C41008148 @default.
- W1501346310 hasConcept C42011625 @default.
- W1501346310 hasConcept C5263885 @default.
- W1501346310 hasConcept C58166 @default.
- W1501346310 hasConcept C86602344 @default.
- W1501346310 hasConcept C98224912 @default.
- W1501346310 hasConceptScore W1501346310C10138342 @default.
- W1501346310 hasConceptScore W1501346310C111472728 @default.
- W1501346310 hasConceptScore W1501346310C138885662 @default.
- W1501346310 hasConceptScore W1501346310C144133560 @default.
- W1501346310 hasConceptScore W1501346310C154945302 @default.
- W1501346310 hasConceptScore W1501346310C182306322 @default.
- W1501346310 hasConceptScore W1501346310C1883856 @default.
- W1501346310 hasConceptScore W1501346310C41008148 @default.
- W1501346310 hasConceptScore W1501346310C42011625 @default.
- W1501346310 hasConceptScore W1501346310C5263885 @default.
- W1501346310 hasConceptScore W1501346310C58166 @default.
- W1501346310 hasConceptScore W1501346310C86602344 @default.
- W1501346310 hasConceptScore W1501346310C98224912 @default.
- W1501346310 hasLocation W15013463101 @default.
- W1501346310 hasOpenAccess W1501346310 @default.
- W1501346310 hasPrimaryLocation W15013463101 @default.
- W1501346310 hasRelatedWork W132840144 @default.
- W1501346310 hasRelatedWork W1481398220 @default.
- W1501346310 hasRelatedWork W1485990531 @default.
- W1501346310 hasRelatedWork W1505767531 @default.
- W1501346310 hasRelatedWork W1516583651 @default.
- W1501346310 hasRelatedWork W1577589213 @default.
- W1501346310 hasRelatedWork W183561761 @default.
- W1501346310 hasRelatedWork W1963888125 @default.
- W1501346310 hasRelatedWork W2022355674 @default.
- W1501346310 hasRelatedWork W2036986624 @default.
- W1501346310 hasRelatedWork W2042927584 @default.
- W1501346310 hasRelatedWork W2060709836 @default.
- W1501346310 hasRelatedWork W2078222970 @default.
- W1501346310 hasRelatedWork W2095704391 @default.
- W1501346310 hasRelatedWork W2227974401 @default.
- W1501346310 hasRelatedWork W2921791311 @default.
- W1501346310 hasRelatedWork W349031555 @default.
- W1501346310 hasRelatedWork W46222511 @default.
- W1501346310 hasRelatedWork W60027889 @default.
- W1501346310 hasRelatedWork W81397324 @default.
- W1501346310 isParatext "false" @default.
- W1501346310 isRetracted "false" @default.
- W1501346310 magId "1501346310" @default.
- W1501346310 workType "book" @default.