FRINK Linked Data Fragments server

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

• W1584489400 abstract "Uniform proofs systems have recently been proposed [Mil91] as a proof-theoretic foundation and generalization of logic programming. In [Mom92a] an extension with constructive negation is presented preserving the nature of abstract logic programming language. Here we adapt this approach to provide a complete theorem proving technique for minimal, intuitionistic and classical logic, which is totally goal-oriented and does not require any form of ancestry resolution. The key idea is to use the GOdel-Gentzen translation to embed those logics in the syntax of Hereditary Harrop formulae, for which uniform proofs are complete. We discuss some preliminary implementation issues." @default.
• W1584489400 created "2016-06-24" @default.
• W1584489400 creator A5021883093 @default.
• W1584489400 date "1993-01-01" @default.
• W1584489400 modified "2023-09-23" @default.
• W1584489400 title "Theorem Proving via Uniform Proofs" @default.
• W1584489400 cites W1897683944 @default.
• W1584489400 cites W1968663039 @default.
• W1584489400 cites W1995908030 @default.
• W1584489400 cites W2013481966 @default.
• W1584489400 cites W2018221833 @default.
• W1584489400 cites W2023139438 @default.
• W1584489400 cites W2039640324 @default.
• W1584489400 cites W2052436826 @default.
• W1584489400 cites W2054628190 @default.
• W1584489400 cites W2084749326 @default.
• W1584489400 cites W2093111544 @default.
• W1584489400 cites W2100738443 @default.
• W1584489400 cites W2798718690 @default.
• W1584489400 cites W424940237 @default.
• W1584489400 cites W97526693 @default.
• W1584489400 cites W1511531730 @default.
• W1584489400 hasPublicationYear "1993" @default.
• W1584489400 type Work @default.
• W1584489400 sameAs 1584489400 @default.
• W1584489400 citedByCount "1" @default.
• W1584489400 crossrefType "journal-article" @default.
• W1584489400 hasAuthorship W1584489400A5021883093 @default.
• W1584489400 hasConcept C102993220 @default.
• W1584489400 hasConcept C108710211 @default.
• W1584489400 hasConcept C118615104 @default.
• W1584489400 hasConcept C134306372 @default.
• W1584489400 hasConcept C136119220 @default.
• W1584489400 hasConcept C138268822 @default.
• W1584489400 hasConcept C154945302 @default.
• W1584489400 hasConcept C177148314 @default.
• W1584489400 hasConcept C178421362 @default.
• W1584489400 hasConcept C194146651 @default.
• W1584489400 hasConcept C199343813 @default.
• W1584489400 hasConcept C199360897 @default.
• W1584489400 hasConcept C202444582 @default.
• W1584489400 hasConcept C203659156 @default.
• W1584489400 hasConcept C2185349 @default.
• W1584489400 hasConcept C2524010 @default.
• W1584489400 hasConcept C2777686260 @default.
• W1584489400 hasConcept C2778701210 @default.
• W1584489400 hasConcept C28077239 @default.
• W1584489400 hasConcept C33923547 @default.
• W1584489400 hasConcept C3845977 @default.
• W1584489400 hasConcept C41008148 @default.
• W1584489400 hasConcept C60048249 @default.
• W1584489400 hasConcept C71924100 @default.
• W1584489400 hasConcept C98045186 @default.
• W1584489400 hasConceptScore W1584489400C102993220 @default.
• W1584489400 hasConceptScore W1584489400C108710211 @default.
• W1584489400 hasConceptScore W1584489400C118615104 @default.
• W1584489400 hasConceptScore W1584489400C134306372 @default.
• W1584489400 hasConceptScore W1584489400C136119220 @default.
• W1584489400 hasConceptScore W1584489400C138268822 @default.
• W1584489400 hasConceptScore W1584489400C154945302 @default.
• W1584489400 hasConceptScore W1584489400C177148314 @default.
• W1584489400 hasConceptScore W1584489400C178421362 @default.
• W1584489400 hasConceptScore W1584489400C194146651 @default.
• W1584489400 hasConceptScore W1584489400C199343813 @default.
• W1584489400 hasConceptScore W1584489400C199360897 @default.
• W1584489400 hasConceptScore W1584489400C202444582 @default.
• W1584489400 hasConceptScore W1584489400C203659156 @default.
• W1584489400 hasConceptScore W1584489400C2185349 @default.
• W1584489400 hasConceptScore W1584489400C2524010 @default.
• W1584489400 hasConceptScore W1584489400C2777686260 @default.
• W1584489400 hasConceptScore W1584489400C2778701210 @default.
• W1584489400 hasConceptScore W1584489400C28077239 @default.
• W1584489400 hasConceptScore W1584489400C33923547 @default.
• W1584489400 hasConceptScore W1584489400C3845977 @default.
• W1584489400 hasConceptScore W1584489400C41008148 @default.
• W1584489400 hasConceptScore W1584489400C60048249 @default.
• W1584489400 hasConceptScore W1584489400C71924100 @default.
• W1584489400 hasConceptScore W1584489400C98045186 @default.
• W1584489400 hasLocation W15844894001 @default.
• W1584489400 hasOpenAccess W1584489400 @default.
• W1584489400 hasPrimaryLocation W15844894001 @default.
• W1584489400 hasRelatedWork W1484872907 @default.
• W1584489400 hasRelatedWork W1487533857 @default.
• W1584489400 hasRelatedWork W1515595147 @default.
• W1584489400 hasRelatedWork W1529567299 @default.
• W1584489400 hasRelatedWork W1534959140 @default.
• W1584489400 hasRelatedWork W1538666241 @default.
• W1584489400 hasRelatedWork W1785287584 @default.
• W1584489400 hasRelatedWork W2110178376 @default.
• W1584489400 hasRelatedWork W2134567445 @default.
• W1584489400 hasRelatedWork W23020736 @default.
• W1584489400 hasRelatedWork W2605252895 @default.
• W1584489400 hasRelatedWork W2744220352 @default.
• W1584489400 hasRelatedWork W2897150585 @default.
• W1584489400 hasRelatedWork W2952409637 @default.
• W1584489400 hasRelatedWork W2996644378 @default.
• W1584489400 hasRelatedWork W3003508721 @default.
• W1584489400 hasRelatedWork W3005454894 @default.
• W1584489400 hasRelatedWork W3118113274 @default.
• W1584489400 hasRelatedWork W587228181 @default.

• next