FRINK Linked Data Fragments server

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

• W1505776411 abstract "The idea of solving problems in logic by first translating them to algebra, then using the powerful methodology of algebra for solving them, and then translating the solution back to logic, goes back to Leibnitz and Pascal. Papers on the history of Logic (e.g. Anellis-Houser [4], Maddux [14]) point out that this method was fruitfully applied in the 19th century not only to propositional logics but also to quantifier logics (De Morgan, Peirce etc. applied it to quantifier logics too). The number of applications grew ever since. (Though some of these remained unnoticed, e.g. the celebrated Kripke-Lemmon completeness theorem for modal logic w.r.t. Kripke models was first proved by Jonsson and Tarski in 1948 using algebraic logic.)" @default.
• W1505776411 created "2016-06-24" @default.
• W1505776411 creator A5003820161 @default.
• W1505776411 creator A5049340770 @default.
• W1505776411 creator A5080876991 @default.
• W1505776411 date "1994-01-01" @default.
• W1505776411 modified "2023-09-27" @default.
• W1505776411 title "Applying Algebraic Logic to Logic" @default.
• W1505776411 cites W1505776411 @default.
• W1505776411 cites W1586550257 @default.
• W1505776411 cites W2018304344 @default.
• W1505776411 cites W2040935455 @default.
• W1505776411 cites W4234671920 @default.
• W1505776411 cites W4236213737 @default.
• W1505776411 doi "https://doi.org/10.1007/978-1-4471-3227-1_3" @default.
• W1505776411 hasPublicationYear "1994" @default.
• W1505776411 type Work @default.
• W1505776411 sameAs 1505776411 @default.
• W1505776411 citedByCount "11" @default.
• W1505776411 countsByYear W15057764112015 @default.
• W1505776411 crossrefType "book-chapter" @default.
• W1505776411 hasAuthorship W1505776411A5003820161 @default.
• W1505776411 hasAuthorship W1505776411A5049340770 @default.
• W1505776411 hasAuthorship W1505776411A5080876991 @default.
• W1505776411 hasConcept C102993220 @default.
• W1505776411 hasConcept C114092440 @default.
• W1505776411 hasConcept C11413529 @default.
• W1505776411 hasConcept C118615104 @default.
• W1505776411 hasConcept C121332964 @default.
• W1505776411 hasConcept C134306372 @default.
• W1505776411 hasConcept C136119220 @default.
• W1505776411 hasConcept C165801399 @default.
• W1505776411 hasConcept C17231256 @default.
• W1505776411 hasConcept C172385210 @default.
• W1505776411 hasConcept C178421362 @default.
• W1505776411 hasConcept C185592680 @default.
• W1505776411 hasConcept C188027245 @default.
• W1505776411 hasConcept C192609573 @default.
• W1505776411 hasConcept C19689857 @default.
• W1505776411 hasConcept C199343813 @default.
• W1505776411 hasConcept C202444582 @default.
• W1505776411 hasConcept C203659156 @default.
• W1505776411 hasConcept C27508121 @default.
• W1505776411 hasConcept C2777686260 @default.
• W1505776411 hasConcept C2777796570 @default.
• W1505776411 hasConcept C32278780 @default.
• W1505776411 hasConcept C33203268 @default.
• W1505776411 hasConcept C33923547 @default.
• W1505776411 hasConcept C41008148 @default.
• W1505776411 hasConcept C47884741 @default.
• W1505776411 hasConcept C62520636 @default.
• W1505776411 hasConcept C69562738 @default.
• W1505776411 hasConcept C71139939 @default.
• W1505776411 hasConcept C71924100 @default.
• W1505776411 hasConcept C80444323 @default.
• W1505776411 hasConcept C86523455 @default.
• W1505776411 hasConcept C9376300 @default.
• W1505776411 hasConceptScore W1505776411C102993220 @default.
• W1505776411 hasConceptScore W1505776411C114092440 @default.
• W1505776411 hasConceptScore W1505776411C11413529 @default.
• W1505776411 hasConceptScore W1505776411C118615104 @default.
• W1505776411 hasConceptScore W1505776411C121332964 @default.
• W1505776411 hasConceptScore W1505776411C134306372 @default.
• W1505776411 hasConceptScore W1505776411C136119220 @default.
• W1505776411 hasConceptScore W1505776411C165801399 @default.
• W1505776411 hasConceptScore W1505776411C17231256 @default.
• W1505776411 hasConceptScore W1505776411C172385210 @default.
• W1505776411 hasConceptScore W1505776411C178421362 @default.
• W1505776411 hasConceptScore W1505776411C185592680 @default.
• W1505776411 hasConceptScore W1505776411C188027245 @default.
• W1505776411 hasConceptScore W1505776411C192609573 @default.
• W1505776411 hasConceptScore W1505776411C19689857 @default.
• W1505776411 hasConceptScore W1505776411C199343813 @default.
• W1505776411 hasConceptScore W1505776411C202444582 @default.
• W1505776411 hasConceptScore W1505776411C203659156 @default.
• W1505776411 hasConceptScore W1505776411C27508121 @default.
• W1505776411 hasConceptScore W1505776411C2777686260 @default.
• W1505776411 hasConceptScore W1505776411C2777796570 @default.
• W1505776411 hasConceptScore W1505776411C32278780 @default.
• W1505776411 hasConceptScore W1505776411C33203268 @default.
• W1505776411 hasConceptScore W1505776411C33923547 @default.
• W1505776411 hasConceptScore W1505776411C41008148 @default.
• W1505776411 hasConceptScore W1505776411C47884741 @default.
• W1505776411 hasConceptScore W1505776411C62520636 @default.
• W1505776411 hasConceptScore W1505776411C69562738 @default.
• W1505776411 hasConceptScore W1505776411C71139939 @default.
• W1505776411 hasConceptScore W1505776411C71924100 @default.
• W1505776411 hasConceptScore W1505776411C80444323 @default.
• W1505776411 hasConceptScore W1505776411C86523455 @default.
• W1505776411 hasConceptScore W1505776411C9376300 @default.
• W1505776411 hasLocation W15057764111 @default.
• W1505776411 hasOpenAccess W1505776411 @default.
• W1505776411 hasPrimaryLocation W15057764111 @default.
• W1505776411 hasRelatedWork W1423953440 @default.
• W1505776411 hasRelatedWork W1551572708 @default.
• W1505776411 hasRelatedWork W1556480317 @default.
• W1505776411 hasRelatedWork W1563093831 @default.
• W1505776411 hasRelatedWork W1761466840 @default.
• W1505776411 hasRelatedWork W1857851571 @default.
• W1505776411 hasRelatedWork W1971424167 @default.

• next