FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897883321> ?p ?o ?g. }

• W2897883321 abstract "The Blok-Esakia theorem states that there is an isomorphism from the lattice of intermediate logics onto the lattice of normal extensions of Grzegorczyk modal logic. The extension for multi-conclusion consequence relations was obtained by Emil Jeřabek as an application of canonical rules. We show that Jeřabek's result follows already from Blok's algebraic proof. We also prove that the properties of strong structural completeness and strong universal completeness are preserved and reflects by the aforementioned isomorphism. These properties coincide with structural completeness and universal completeness respectively for single-conclusion consequence relations and, in particular, for logics." @default.
• W2897883321 created "2018-10-26" @default.
• W2897883321 creator A5075820635 @default.
• W2897883321 date "2018-10-22" @default.
• W2897883321 modified "2023-09-27" @default.
• W2897883321 title "On the Blok-Esakia theorem for universal classes" @default.
• W2897883321 cites W1182848269 @default.
• W2897883321 cites W1517643705 @default.
• W2897883321 cites W1528233644 @default.
• W2897883321 cites W1554619471 @default.
• W2897883321 cites W1571731646 @default.
• W2897883321 cites W1579494268 @default.
• W2897883321 cites W176873335 @default.
• W2897883321 cites W1987887112 @default.
• W2897883321 cites W1999679315 @default.
• W2897883321 cites W2007096790 @default.
• W2897883321 cites W2023525230 @default.
• W2897883321 cites W2024350733 @default.
• W2897883321 cites W2034340658 @default.
• W2897883321 cites W2056531162 @default.
• W2897883321 cites W206333455 @default.
• W2897883321 cites W2159279212 @default.
• W2897883321 cites W2238808746 @default.
• W2897883321 cites W2396118102 @default.
• W2897883321 cites W2461576207 @default.
• W2897883321 cites W2529311106 @default.
• W2897883321 cites W2542047951 @default.
• W2897883321 cites W2963207728 @default.
• W2897883321 cites W2963690674 @default.
• W2897883321 cites W933755540 @default.
• W2897883321 hasPublicationYear "2018" @default.
• W2897883321 type Work @default.
• W2897883321 sameAs 2897883321 @default.
• W2897883321 citedByCount "1" @default.
• W2897883321 countsByYear W28978833212018 @default.
• W2897883321 crossrefType "posted-content" @default.
• W2897883321 hasAuthorship W2897883321A5075820635 @default.
• W2897883321 hasConcept C115624301 @default.
• W2897883321 hasConcept C118615104 @default.
• W2897883321 hasConcept C121332964 @default.
• W2897883321 hasConcept C132525143 @default.
• W2897883321 hasConcept C134306372 @default.
• W2897883321 hasConcept C136119220 @default.
• W2897883321 hasConcept C146147875 @default.
• W2897883321 hasConcept C17231256 @default.
• W2897883321 hasConcept C182419690 @default.
• W2897883321 hasConcept C185592680 @default.
• W2897883321 hasConcept C188027245 @default.
• W2897883321 hasConcept C199360897 @default.
• W2897883321 hasConcept C200116569 @default.
• W2897883321 hasConcept C202444582 @default.
• W2897883321 hasConcept C203436722 @default.
• W2897883321 hasConcept C203776342 @default.
• W2897883321 hasConcept C24890656 @default.
• W2897883321 hasConcept C26231708 @default.
• W2897883321 hasConcept C2778029271 @default.
• W2897883321 hasConcept C2781204021 @default.
• W2897883321 hasConcept C33923547 @default.
• W2897883321 hasConcept C41008148 @default.
• W2897883321 hasConcept C45962547 @default.
• W2897883321 hasConcept C61665672 @default.
• W2897883321 hasConcept C71139939 @default.
• W2897883321 hasConcept C8010536 @default.
• W2897883321 hasConcept C86115822 @default.
• W2897883321 hasConcept C9376300 @default.
• W2897883321 hasConceptScore W2897883321C115624301 @default.
• W2897883321 hasConceptScore W2897883321C118615104 @default.
• W2897883321 hasConceptScore W2897883321C121332964 @default.
• W2897883321 hasConceptScore W2897883321C132525143 @default.
• W2897883321 hasConceptScore W2897883321C134306372 @default.
• W2897883321 hasConceptScore W2897883321C136119220 @default.
• W2897883321 hasConceptScore W2897883321C146147875 @default.
• W2897883321 hasConceptScore W2897883321C17231256 @default.
• W2897883321 hasConceptScore W2897883321C182419690 @default.
• W2897883321 hasConceptScore W2897883321C185592680 @default.
• W2897883321 hasConceptScore W2897883321C188027245 @default.
• W2897883321 hasConceptScore W2897883321C199360897 @default.
• W2897883321 hasConceptScore W2897883321C200116569 @default.
• W2897883321 hasConceptScore W2897883321C202444582 @default.
• W2897883321 hasConceptScore W2897883321C203436722 @default.
• W2897883321 hasConceptScore W2897883321C203776342 @default.
• W2897883321 hasConceptScore W2897883321C24890656 @default.
• W2897883321 hasConceptScore W2897883321C26231708 @default.
• W2897883321 hasConceptScore W2897883321C2778029271 @default.
• W2897883321 hasConceptScore W2897883321C2781204021 @default.
• W2897883321 hasConceptScore W2897883321C33923547 @default.
• W2897883321 hasConceptScore W2897883321C41008148 @default.
• W2897883321 hasConceptScore W2897883321C45962547 @default.
• W2897883321 hasConceptScore W2897883321C61665672 @default.
• W2897883321 hasConceptScore W2897883321C71139939 @default.
• W2897883321 hasConceptScore W2897883321C8010536 @default.
• W2897883321 hasConceptScore W2897883321C86115822 @default.
• W2897883321 hasConceptScore W2897883321C9376300 @default.
• W2897883321 hasLocation W28978833211 @default.
• W2897883321 hasOpenAccess W2897883321 @default.
• W2897883321 hasPrimaryLocation W28978833211 @default.
• W2897883321 hasRelatedWork W11362446 @default.
• W2897883321 hasRelatedWork W1802555523 @default.
• W2897883321 hasRelatedWork W184413736 @default.
• W2897883321 hasRelatedWork W193857920 @default.

• next