FRINK Linked Data Fragments server

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

• W2887483904 abstract "In this paper we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties of normal lattice expansions (normal LE-logics). Specifically, we generalise the residuated frames in [16] to arbitrary signatures of normal lattice expansions (LE). Such a generalization provides a valuable tool for proving important properties of LE-logics in full uniformity. We prove semantic cut elimination for the display calculi D.LE associated with the basic normal LE-logics and their axiomatic extensions with analytic inductive axioms. We also prove the finite model property (FMP) for each such calculus D.LE, as well as for its extensions with analytic structural rules satisfying certain additional properties." @default.
• W2887483904 created "2018-08-22" @default.
• W2887483904 creator A5004708077 @default.
• W2887483904 creator A5022846522 @default.
• W2887483904 creator A5030472587 @default.
• W2887483904 creator A5035153627 @default.
• W2887483904 creator A5047149000 @default.
• W2887483904 date "2018-08-14" @default.
• W2887483904 modified "2023-09-27" @default.
• W2887483904 title "Algebraic proof theory for LE-logics" @default.
• W2887483904 cites W1485574327 @default.
• W2887483904 cites W1535633065 @default.
• W2887483904 cites W1581138540 @default.
• W2887483904 cites W1989314289 @default.
• W2887483904 cites W2003364215 @default.
• W2887483904 cites W2054761820 @default.
• W2887483904 cites W2073214104 @default.
• W2887483904 cites W2076906261 @default.
• W2887483904 cites W2170289322 @default.
• W2887483904 cites W2316998098 @default.
• W2887483904 cites W2320462740 @default.
• W2887483904 cites W56574371 @default.
• W2887483904 cites W586261321 @default.
• W2887483904 hasPublicationYear "2018" @default.
• W2887483904 type Work @default.
• W2887483904 sameAs 2887483904 @default.
• W2887483904 citedByCount "8" @default.
• W2887483904 countsByYear W28874839042018 @default.
• W2887483904 countsByYear W28874839042019 @default.
• W2887483904 countsByYear W28874839042020 @default.
• W2887483904 countsByYear W28874839042021 @default.
• W2887483904 crossrefType "posted-content" @default.
• W2887483904 hasAuthorship W2887483904A5004708077 @default.
• W2887483904 hasAuthorship W2887483904A5022846522 @default.
• W2887483904 hasAuthorship W2887483904A5030472587 @default.
• W2887483904 hasAuthorship W2887483904A5035153627 @default.
• W2887483904 hasAuthorship W2887483904A5047149000 @default.
• W2887483904 hasConcept C102993220 @default.
• W2887483904 hasConcept C118615104 @default.
• W2887483904 hasConcept C125773388 @default.
• W2887483904 hasConcept C134306372 @default.
• W2887483904 hasConcept C136119220 @default.
• W2887483904 hasConcept C144760519 @default.
• W2887483904 hasConcept C150889026 @default.
• W2887483904 hasConcept C154945302 @default.
• W2887483904 hasConcept C167729594 @default.
• W2887483904 hasConcept C177148314 @default.
• W2887483904 hasConcept C1883856 @default.
• W2887483904 hasConcept C199343813 @default.
• W2887483904 hasConcept C202444582 @default.
• W2887483904 hasConcept C206321295 @default.
• W2887483904 hasConcept C2524010 @default.
• W2887483904 hasConcept C2777686260 @default.
• W2887483904 hasConcept C33923547 @default.
• W2887483904 hasConcept C41008148 @default.
• W2887483904 hasConcept C42011625 @default.
• W2887483904 hasConcept C58166 @default.
• W2887483904 hasConcept C71924100 @default.
• W2887483904 hasConcept C80444323 @default.
• W2887483904 hasConcept C9376300 @default.
• W2887483904 hasConcept C98224912 @default.
• W2887483904 hasConceptScore W2887483904C102993220 @default.
• W2887483904 hasConceptScore W2887483904C118615104 @default.
• W2887483904 hasConceptScore W2887483904C125773388 @default.
• W2887483904 hasConceptScore W2887483904C134306372 @default.
• W2887483904 hasConceptScore W2887483904C136119220 @default.
• W2887483904 hasConceptScore W2887483904C144760519 @default.
• W2887483904 hasConceptScore W2887483904C150889026 @default.
• W2887483904 hasConceptScore W2887483904C154945302 @default.
• W2887483904 hasConceptScore W2887483904C167729594 @default.
• W2887483904 hasConceptScore W2887483904C177148314 @default.
• W2887483904 hasConceptScore W2887483904C1883856 @default.
• W2887483904 hasConceptScore W2887483904C199343813 @default.
• W2887483904 hasConceptScore W2887483904C202444582 @default.
• W2887483904 hasConceptScore W2887483904C206321295 @default.
• W2887483904 hasConceptScore W2887483904C2524010 @default.
• W2887483904 hasConceptScore W2887483904C2777686260 @default.
• W2887483904 hasConceptScore W2887483904C33923547 @default.
• W2887483904 hasConceptScore W2887483904C41008148 @default.
• W2887483904 hasConceptScore W2887483904C42011625 @default.
• W2887483904 hasConceptScore W2887483904C58166 @default.
• W2887483904 hasConceptScore W2887483904C71924100 @default.
• W2887483904 hasConceptScore W2887483904C80444323 @default.
• W2887483904 hasConceptScore W2887483904C9376300 @default.
• W2887483904 hasConceptScore W2887483904C98224912 @default.
• W2887483904 hasLocation W28874839041 @default.
• W2887483904 hasOpenAccess W2887483904 @default.
• W2887483904 hasPrimaryLocation W28874839041 @default.
• W2887483904 hasRelatedWork W112871662 @default.
• W2887483904 hasRelatedWork W1503729935 @default.
• W2887483904 hasRelatedWork W1840469622 @default.
• W2887483904 hasRelatedWork W1970051856 @default.
• W2887483904 hasRelatedWork W1999780552 @default.
• W2887483904 hasRelatedWork W2011700761 @default.
• W2887483904 hasRelatedWork W2034998024 @default.
• W2887483904 hasRelatedWork W2037711229 @default.
• W2887483904 hasRelatedWork W2156265441 @default.
• W2887483904 hasRelatedWork W2292488269 @default.
• W2887483904 hasRelatedWork W2616161870 @default.
• W2887483904 hasRelatedWork W2771759909 @default.

• next