Matches in SemOpenAlex for { <https://semopenalex.org/work/W1541372807> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1541372807 abstract "The compilation approach for Labelled Deductive Systems (CLDS) is a general logical framework. Previously, it has been applied to various resource logics within natural deduction, tableaux and clausal systems, and in the latter case to yield a decidable (first order) CLDS for propositional Intuitionistic Logic (IL). In this paper the same clausal approach is used to obtain a decidable theorem prover for the implication fragments of propositional substructural Linear Logic (LL) and Relevance Logic (RL). The CLDS refutation method is based around a semantic approach using a translation technique utilising first-order logic together with a simple theorem prover for the translated theory using techniques drawn from Model Generation procedures. The resulting system is shown to correspond to a standard LL(RL) presentation as given by appropriate Hilbert axiom systems and to be decidable." @default.
- W1541372807 created "2016-06-24" @default.
- W1541372807 creator A5002143669 @default.
- W1541372807 date "2002-01-01" @default.
- W1541372807 modified "2023-09-25" @default.
- W1541372807 title "A Decidable CLDS for Some Propositional Resource Logics" @default.
- W1541372807 cites W1482576963 @default.
- W1541372807 cites W1495433690 @default.
- W1541372807 cites W1496816696 @default.
- W1541372807 cites W2013618737 @default.
- W1541372807 cites W2037991894 @default.
- W1541372807 cites W318632767 @default.
- W1541372807 cites W4254401553 @default.
- W1541372807 doi "https://doi.org/10.1007/3-540-45632-5_6" @default.
- W1541372807 hasPublicationYear "2002" @default.
- W1541372807 type Work @default.
- W1541372807 sameAs 1541372807 @default.
- W1541372807 citedByCount "1" @default.
- W1541372807 crossrefType "book-chapter" @default.
- W1541372807 hasAuthorship W1541372807A5002143669 @default.
- W1541372807 hasConcept C102993220 @default.
- W1541372807 hasConcept C108710211 @default.
- W1541372807 hasConcept C11413529 @default.
- W1541372807 hasConcept C118615104 @default.
- W1541372807 hasConcept C14523651 @default.
- W1541372807 hasConcept C153269930 @default.
- W1541372807 hasConcept C167729594 @default.
- W1541372807 hasConcept C178421362 @default.
- W1541372807 hasConcept C199343813 @default.
- W1541372807 hasConcept C199360897 @default.
- W1541372807 hasConcept C206880738 @default.
- W1541372807 hasConcept C2524010 @default.
- W1541372807 hasConcept C2777686260 @default.
- W1541372807 hasConcept C33203268 @default.
- W1541372807 hasConcept C33923547 @default.
- W1541372807 hasConcept C41008148 @default.
- W1541372807 hasConcept C65880906 @default.
- W1541372807 hasConcept C69562738 @default.
- W1541372807 hasConcept C71924100 @default.
- W1541372807 hasConceptScore W1541372807C102993220 @default.
- W1541372807 hasConceptScore W1541372807C108710211 @default.
- W1541372807 hasConceptScore W1541372807C11413529 @default.
- W1541372807 hasConceptScore W1541372807C118615104 @default.
- W1541372807 hasConceptScore W1541372807C14523651 @default.
- W1541372807 hasConceptScore W1541372807C153269930 @default.
- W1541372807 hasConceptScore W1541372807C167729594 @default.
- W1541372807 hasConceptScore W1541372807C178421362 @default.
- W1541372807 hasConceptScore W1541372807C199343813 @default.
- W1541372807 hasConceptScore W1541372807C199360897 @default.
- W1541372807 hasConceptScore W1541372807C206880738 @default.
- W1541372807 hasConceptScore W1541372807C2524010 @default.
- W1541372807 hasConceptScore W1541372807C2777686260 @default.
- W1541372807 hasConceptScore W1541372807C33203268 @default.
- W1541372807 hasConceptScore W1541372807C33923547 @default.
- W1541372807 hasConceptScore W1541372807C41008148 @default.
- W1541372807 hasConceptScore W1541372807C65880906 @default.
- W1541372807 hasConceptScore W1541372807C69562738 @default.
- W1541372807 hasConceptScore W1541372807C71924100 @default.
- W1541372807 hasLocation W15413728071 @default.
- W1541372807 hasOpenAccess W1541372807 @default.
- W1541372807 hasPrimaryLocation W15413728071 @default.
- W1541372807 hasRelatedWork W1552653022 @default.
- W1541372807 hasRelatedWork W1555569636 @default.
- W1541372807 hasRelatedWork W1568820261 @default.
- W1541372807 hasRelatedWork W1570848118 @default.
- W1541372807 hasRelatedWork W1581171876 @default.
- W1541372807 hasRelatedWork W1594285439 @default.
- W1541372807 hasRelatedWork W1942056146 @default.
- W1541372807 hasRelatedWork W2009938424 @default.
- W1541372807 hasRelatedWork W2022963984 @default.
- W1541372807 hasRelatedWork W2027489592 @default.
- W1541372807 hasRelatedWork W2055558461 @default.
- W1541372807 hasRelatedWork W2074283846 @default.
- W1541372807 hasRelatedWork W2075692041 @default.
- W1541372807 hasRelatedWork W2084441573 @default.
- W1541372807 hasRelatedWork W2097313873 @default.
- W1541372807 hasRelatedWork W2147768374 @default.
- W1541372807 hasRelatedWork W2484826533 @default.
- W1541372807 hasRelatedWork W2497456301 @default.
- W1541372807 hasRelatedWork W3130967043 @default.
- W1541372807 hasRelatedWork W1886429788 @default.
- W1541372807 isParatext "false" @default.
- W1541372807 isRetracted "false" @default.
- W1541372807 magId "1541372807" @default.
- W1541372807 workType "book-chapter" @default.