Matches in SemOpenAlex for { <https://semopenalex.org/work/W2063391155> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2063391155 endingPage "92" @default.
- W2063391155 startingPage "71" @default.
- W2063391155 abstract "The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For illustration, we revisit the example of combining intuitionistic and classical propositional logics." @default.
- W2063391155 created "2016-06-24" @default.
- W2063391155 creator A5006730208 @default.
- W2063391155 creator A5008068694 @default.
- W2063391155 date "2007-01-01" @default.
- W2063391155 modified "2023-09-29" @default.
- W2063391155 title "From Fibring to Cryptofibring. A Solution to the Collapsing Problem" @default.
- W2063391155 cites W1498990581 @default.
- W2063391155 cites W1577589213 @default.
- W2063391155 cites W1591716390 @default.
- W2063391155 cites W1595342745 @default.
- W2063391155 cites W1963762880 @default.
- W2063391155 cites W1998538047 @default.
- W2063391155 cites W2002127544 @default.
- W2063391155 cites W2016979877 @default.
- W2063391155 cites W2036986624 @default.
- W2063391155 cites W2042927584 @default.
- W2063391155 cites W2060709836 @default.
- W2063391155 cites W2060842554 @default.
- W2063391155 cites W2111241382 @default.
- W2063391155 cites W2138966559 @default.
- W2063391155 cites W2154319800 @default.
- W2063391155 cites W349031555 @default.
- W2063391155 cites W2631554288 @default.
- W2063391155 doi "https://doi.org/10.1007/s11787-006-0004-5" @default.
- W2063391155 hasPublicationYear "2007" @default.
- W2063391155 type Work @default.
- W2063391155 sameAs 2063391155 @default.
- W2063391155 citedByCount "15" @default.
- W2063391155 countsByYear W20633911552012 @default.
- W2063391155 countsByYear W20633911552015 @default.
- W2063391155 countsByYear W20633911552016 @default.
- W2063391155 countsByYear W20633911552017 @default.
- W2063391155 countsByYear W20633911552018 @default.
- W2063391155 countsByYear W20633911552022 @default.
- W2063391155 countsByYear W20633911552023 @default.
- W2063391155 crossrefType "journal-article" @default.
- W2063391155 hasAuthorship W2063391155A5006730208 @default.
- W2063391155 hasAuthorship W2063391155A5008068694 @default.
- W2063391155 hasBestOaLocation W20633911552 @default.
- W2063391155 hasConcept C118615104 @default.
- W2063391155 hasConcept C134306372 @default.
- W2063391155 hasConcept C136119220 @default.
- W2063391155 hasConcept C177148314 @default.
- W2063391155 hasConcept C184337299 @default.
- W2063391155 hasConcept C199343813 @default.
- W2063391155 hasConcept C199360897 @default.
- W2063391155 hasConcept C202444582 @default.
- W2063391155 hasConcept C2777686260 @default.
- W2063391155 hasConcept C2778029271 @default.
- W2063391155 hasConcept C2780432614 @default.
- W2063391155 hasConcept C33923547 @default.
- W2063391155 hasConcept C41008148 @default.
- W2063391155 hasConcept C71924100 @default.
- W2063391155 hasConceptScore W2063391155C118615104 @default.
- W2063391155 hasConceptScore W2063391155C134306372 @default.
- W2063391155 hasConceptScore W2063391155C136119220 @default.
- W2063391155 hasConceptScore W2063391155C177148314 @default.
- W2063391155 hasConceptScore W2063391155C184337299 @default.
- W2063391155 hasConceptScore W2063391155C199343813 @default.
- W2063391155 hasConceptScore W2063391155C199360897 @default.
- W2063391155 hasConceptScore W2063391155C202444582 @default.
- W2063391155 hasConceptScore W2063391155C2777686260 @default.
- W2063391155 hasConceptScore W2063391155C2778029271 @default.
- W2063391155 hasConceptScore W2063391155C2780432614 @default.
- W2063391155 hasConceptScore W2063391155C33923547 @default.
- W2063391155 hasConceptScore W2063391155C41008148 @default.
- W2063391155 hasConceptScore W2063391155C71924100 @default.
- W2063391155 hasIssue "1" @default.
- W2063391155 hasLocation W20633911551 @default.
- W2063391155 hasLocation W20633911552 @default.
- W2063391155 hasOpenAccess W2063391155 @default.
- W2063391155 hasPrimaryLocation W20633911551 @default.
- W2063391155 hasRelatedWork W1502733981 @default.
- W2063391155 hasRelatedWork W1565338810 @default.
- W2063391155 hasRelatedWork W1600077456 @default.
- W2063391155 hasRelatedWork W1626176828 @default.
- W2063391155 hasRelatedWork W1984360665 @default.
- W2063391155 hasRelatedWork W2051340999 @default.
- W2063391155 hasRelatedWork W2120554020 @default.
- W2063391155 hasRelatedWork W2315640511 @default.
- W2063391155 hasRelatedWork W3189738713 @default.
- W2063391155 hasRelatedWork W4251636188 @default.
- W2063391155 hasVolume "1" @default.
- W2063391155 isParatext "false" @default.
- W2063391155 isRetracted "false" @default.
- W2063391155 magId "2063391155" @default.
- W2063391155 workType "article" @default.