Matches in SemOpenAlex for { <https://semopenalex.org/work/W2497738557> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2497738557 endingPage "224" @default.
- W2497738557 startingPage "205" @default.
- W2497738557 abstract "The definitions of interpolation and Beth's property essentially depend on the consequence relation in the logic under consideration. In modal logics, there are at least two natural logical consequence relations: provable implication and deducibility. They are equivalent in superintuitionistic logics in deduction theorem but not equivalent in normal modal logics, where only a weaker form of the deduction theorem holds. So in modal logics two forms of interpolation (CIP and IPD), and two forms (B1 and B2) of the Beth property are considered. It is shown that B1 is equivalent to CIP for all modal logics, but all other properties are not equivalent. A full diagram of interrelations of these properties as well as their algebraic equivalents is presented. In particular, IPD is equivalent to the amalgamation property (AP), CIP to the superamalgamation property (SAP), and B2 to epimorphisms surjectivity ES* of the corresponding variety of modal algebras." @default.
- W2497738557 created "2016-08-23" @default.
- W2497738557 creator A5005246162 @default.
- W2497738557 creator A5073509717 @default.
- W2497738557 date "2005-05-12" @default.
- W2497738557 modified "2023-10-17" @default.
- W2497738557 title "INTERPOLATION, DEFINABILITY, AMALGAMATION" @default.
- W2497738557 doi "https://doi.org/10.1093/acprof:oso/9780198511748.003.0007" @default.
- W2497738557 hasPublicationYear "2005" @default.
- W2497738557 type Work @default.
- W2497738557 sameAs 2497738557 @default.
- W2497738557 citedByCount "2" @default.
- W2497738557 countsByYear W24977385572014 @default.
- W2497738557 countsByYear W24977385572022 @default.
- W2497738557 crossrefType "book-chapter" @default.
- W2497738557 hasAuthorship W2497738557A5005246162 @default.
- W2497738557 hasAuthorship W2497738557A5073509717 @default.
- W2497738557 hasConcept C104114177 @default.
- W2497738557 hasConcept C111472728 @default.
- W2497738557 hasConcept C11191006 @default.
- W2497738557 hasConcept C118615104 @default.
- W2497738557 hasConcept C136119220 @default.
- W2497738557 hasConcept C137800194 @default.
- W2497738557 hasConcept C138885662 @default.
- W2497738557 hasConcept C154945302 @default.
- W2497738557 hasConcept C185592680 @default.
- W2497738557 hasConcept C188027245 @default.
- W2497738557 hasConcept C189950617 @default.
- W2497738557 hasConcept C202444582 @default.
- W2497738557 hasConcept C27508121 @default.
- W2497738557 hasConcept C33923547 @default.
- W2497738557 hasConcept C41008148 @default.
- W2497738557 hasConcept C71139939 @default.
- W2497738557 hasConceptScore W2497738557C104114177 @default.
- W2497738557 hasConceptScore W2497738557C111472728 @default.
- W2497738557 hasConceptScore W2497738557C11191006 @default.
- W2497738557 hasConceptScore W2497738557C118615104 @default.
- W2497738557 hasConceptScore W2497738557C136119220 @default.
- W2497738557 hasConceptScore W2497738557C137800194 @default.
- W2497738557 hasConceptScore W2497738557C138885662 @default.
- W2497738557 hasConceptScore W2497738557C154945302 @default.
- W2497738557 hasConceptScore W2497738557C185592680 @default.
- W2497738557 hasConceptScore W2497738557C188027245 @default.
- W2497738557 hasConceptScore W2497738557C189950617 @default.
- W2497738557 hasConceptScore W2497738557C202444582 @default.
- W2497738557 hasConceptScore W2497738557C27508121 @default.
- W2497738557 hasConceptScore W2497738557C33923547 @default.
- W2497738557 hasConceptScore W2497738557C41008148 @default.
- W2497738557 hasConceptScore W2497738557C71139939 @default.
- W2497738557 hasLocation W24977385571 @default.
- W2497738557 hasOpenAccess W2497738557 @default.
- W2497738557 hasPrimaryLocation W24977385571 @default.
- W2497738557 hasRelatedWork W1480754868 @default.
- W2497738557 hasRelatedWork W1978559879 @default.
- W2497738557 hasRelatedWork W1989047802 @default.
- W2497738557 hasRelatedWork W2166886803 @default.
- W2497738557 hasRelatedWork W2189106779 @default.
- W2497738557 hasRelatedWork W2315345372 @default.
- W2497738557 hasRelatedWork W2733196847 @default.
- W2497738557 hasRelatedWork W3159242381 @default.
- W2497738557 hasRelatedWork W4229083008 @default.
- W2497738557 hasRelatedWork W70824404 @default.
- W2497738557 isParatext "false" @default.
- W2497738557 isRetracted "false" @default.
- W2497738557 magId "2497738557" @default.
- W2497738557 workType "book-chapter" @default.