FRINK Linked Data Fragments server

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

• W3208593457 abstract "The non-deterministic algorithmic procedure PEARL (acronym for ‘Propositional variables Elimination Algorithm for Relevance Logic’) has been recently developed for computing first-order equivalents of formulas of the language of relevance logics (mathcal {L}_R) in terms of the standard Routley-Meyer relational semantics. It succeeds on a large class of axioms of relevance logics, including all so called inductive formulas. In the present work we re-interpret PEARL from an algebraic perspective, with its rewrite rules seen as manipulating quasi-inequalities interpreted over Urquhart’s relevant algebras, and report on its recent Python implementation. We also show that all formulae on which PEARL succeeds are canonical, i.e., preserved under canonical extensions of relevant algebras. This generalizes the “canonicity via correspondence” result in [37]. We also indicate that with minor modifications PEARL can also be applied to bunched implication algebras and relation algebras." @default.
• W3208593457 created "2021-11-08" @default.
• W3208593457 creator A5004708077 @default.
• W3208593457 creator A5037378549 @default.
• W3208593457 creator A5066665696 @default.
• W3208593457 date "2021-01-01" @default.
• W3208593457 modified "2023-09-23" @default.
• W3208593457 title "Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL" @default.
• W3208593457 cites W1524462322 @default.
• W3208593457 cites W1527720545 @default.
• W3208593457 cites W1539618905 @default.
• W3208593457 cites W1547536896 @default.
• W3208593457 cites W1591716390 @default.
• W3208593457 cites W1728675562 @default.
• W3208593457 cites W1970051856 @default.
• W3208593457 cites W1972417425 @default.
• W3208593457 cites W1998532035 @default.
• W3208593457 cites W2024618947 @default.
• W3208593457 cites W2033002247 @default.
• W3208593457 cites W2033136385 @default.
• W3208593457 cites W2037711229 @default.
• W3208593457 cites W2048154108 @default.
• W3208593457 cites W2072564442 @default.
• W3208593457 cites W2076862903 @default.
• W3208593457 cites W2104037378 @default.
• W3208593457 cites W2111082593 @default.
• W3208593457 cites W2127214596 @default.
• W3208593457 cites W213280967 @default.
• W3208593457 cites W2170803400 @default.
• W3208593457 cites W2747584497 @default.
• W3208593457 cites W2950450725 @default.
• W3208593457 cites W2963648697 @default.
• W3208593457 cites W2964164692 @default.
• W3208593457 cites W3202755338 @default.
• W3208593457 cites W4206038654 @default.
• W3208593457 cites W4211095208 @default.
• W3208593457 cites W4242798172 @default.
• W3208593457 cites W2048423570 @default.
• W3208593457 doi "https://doi.org/10.1007/978-3-030-88701-8_8" @default.
• W3208593457 hasPublicationYear "2021" @default.
• W3208593457 type Work @default.
• W3208593457 sameAs 3208593457 @default.
• W3208593457 citedByCount "0" @default.
• W3208593457 crossrefType "book-chapter" @default.
• W3208593457 hasAuthorship W3208593457A5004708077 @default.
• W3208593457 hasAuthorship W3208593457A5037378549 @default.
• W3208593457 hasAuthorship W3208593457A5066665696 @default.
• W3208593457 hasConcept C11413529 @default.
• W3208593457 hasConcept C118615104 @default.
• W3208593457 hasConcept C134306372 @default.
• W3208593457 hasConcept C136119220 @default.
• W3208593457 hasConcept C138885662 @default.
• W3208593457 hasConcept C158154518 @default.
• W3208593457 hasConcept C167729594 @default.
• W3208593457 hasConcept C17744445 @default.
• W3208593457 hasConcept C184337299 @default.
• W3208593457 hasConcept C199360897 @default.
• W3208593457 hasConcept C199539241 @default.
• W3208593457 hasConcept C202444582 @default.
• W3208593457 hasConcept C2524010 @default.
• W3208593457 hasConcept C25343380 @default.
• W3208593457 hasConcept C27206212 @default.
• W3208593457 hasConcept C2779251273 @default.
• W3208593457 hasConcept C2779729104 @default.
• W3208593457 hasConcept C32241873 @default.
• W3208593457 hasConcept C33923547 @default.
• W3208593457 hasConcept C41008148 @default.
• W3208593457 hasConcept C41895202 @default.
• W3208593457 hasConcept C482391 @default.
• W3208593457 hasConcept C77088390 @default.
• W3208593457 hasConcept C9376300 @default.
• W3208593457 hasConceptScore W3208593457C11413529 @default.
• W3208593457 hasConceptScore W3208593457C118615104 @default.
• W3208593457 hasConceptScore W3208593457C134306372 @default.
• W3208593457 hasConceptScore W3208593457C136119220 @default.
• W3208593457 hasConceptScore W3208593457C138885662 @default.
• W3208593457 hasConceptScore W3208593457C158154518 @default.
• W3208593457 hasConceptScore W3208593457C167729594 @default.
• W3208593457 hasConceptScore W3208593457C17744445 @default.
• W3208593457 hasConceptScore W3208593457C184337299 @default.
• W3208593457 hasConceptScore W3208593457C199360897 @default.
• W3208593457 hasConceptScore W3208593457C199539241 @default.
• W3208593457 hasConceptScore W3208593457C202444582 @default.
• W3208593457 hasConceptScore W3208593457C2524010 @default.
• W3208593457 hasConceptScore W3208593457C25343380 @default.
• W3208593457 hasConceptScore W3208593457C27206212 @default.
• W3208593457 hasConceptScore W3208593457C2779251273 @default.
• W3208593457 hasConceptScore W3208593457C2779729104 @default.
• W3208593457 hasConceptScore W3208593457C32241873 @default.
• W3208593457 hasConceptScore W3208593457C33923547 @default.
• W3208593457 hasConceptScore W3208593457C41008148 @default.
• W3208593457 hasConceptScore W3208593457C41895202 @default.
• W3208593457 hasConceptScore W3208593457C482391 @default.
• W3208593457 hasConceptScore W3208593457C77088390 @default.
• W3208593457 hasConceptScore W3208593457C9376300 @default.
• W3208593457 hasLocation W32085934571 @default.
• W3208593457 hasOpenAccess W3208593457 @default.
• W3208593457 hasPrimaryLocation W32085934571 @default.
• W3208593457 hasRelatedWork W10111591 @default.
• W3208593457 hasRelatedWork W10604870 @default.

• next