Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103140553> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2103140553 endingPage "23" @default.
- W2103140553 startingPage "9" @default.
- W2103140553 abstract "Some investigations into the algebraic constructive aspects of a decision procedure for various fragments of Relevant Logics are presented. Decidability of these fragments relies on S. Kripke's gentzenizations and on his combinatorial lemma known as Kripke's lemma that B. Meyer has shown equivalent to Dickson's lemma in number theory and to his own infinite divisor lemma, henceforth, Meyer's lemma or IDP. These investigations of the constructive aspects of the Kripke's-Meyer's decision procedure originate in the development of Paul Thistlewaite's “Kripke” theorem prover that had been devised to tackle the decision problem of the Relevant Logic R . A. Urquhart's pen and paper solution that relies on a sophisticated algebraic and geometric treatment of the problem shows the usefulness of an algebraic approach in Logic. Here, the study of the constructive aspects of the Kripke-Meyer decision procedure relies on various algebraic constructive results in the theory of polynomials rings." @default.
- W2103140553 created "2016-06-24" @default.
- W2103140553 creator A5086083285 @default.
- W2103140553 date "2005-01-01" @default.
- W2103140553 modified "2023-09-23" @default.
- W2103140553 title "Decision procedure of some relevant logics: a constructive perspective" @default.
- W2103140553 cites W135778027 @default.
- W2103140553 cites W1541955821 @default.
- W2103140553 cites W1772256284 @default.
- W2103140553 cites W1971435636 @default.
- W2103140553 cites W1996766588 @default.
- W2103140553 cites W2009732936 @default.
- W2103140553 cites W2013504313 @default.
- W2103140553 cites W2145062905 @default.
- W2103140553 cites W2156077630 @default.
- W2103140553 cites W2162849813 @default.
- W2103140553 cites W2280606800 @default.
- W2103140553 cites W2316176421 @default.
- W2103140553 cites W27930116 @default.
- W2103140553 cites W3140292214 @default.
- W2103140553 cites W4256683994 @default.
- W2103140553 doi "https://doi.org/10.3166/jancl.15.9-23" @default.
- W2103140553 hasPublicationYear "2005" @default.
- W2103140553 type Work @default.
- W2103140553 sameAs 2103140553 @default.
- W2103140553 citedByCount "2" @default.
- W2103140553 countsByYear W21031405532018 @default.
- W2103140553 countsByYear W21031405532020 @default.
- W2103140553 crossrefType "journal-article" @default.
- W2103140553 hasAuthorship W2103140553A5086083285 @default.
- W2103140553 hasBestOaLocation W21031405532 @default.
- W2103140553 hasConcept C111919701 @default.
- W2103140553 hasConcept C118615104 @default.
- W2103140553 hasConcept C134306372 @default.
- W2103140553 hasConcept C136119220 @default.
- W2103140553 hasConcept C153269930 @default.
- W2103140553 hasConcept C178421362 @default.
- W2103140553 hasConcept C18903297 @default.
- W2103140553 hasConcept C202444582 @default.
- W2103140553 hasConcept C202854965 @default.
- W2103140553 hasConcept C2777759810 @default.
- W2103140553 hasConcept C2778701210 @default.
- W2103140553 hasConcept C28077239 @default.
- W2103140553 hasConcept C33923547 @default.
- W2103140553 hasConcept C41008148 @default.
- W2103140553 hasConcept C46757340 @default.
- W2103140553 hasConcept C86803240 @default.
- W2103140553 hasConcept C9376300 @default.
- W2103140553 hasConcept C98045186 @default.
- W2103140553 hasConceptScore W2103140553C111919701 @default.
- W2103140553 hasConceptScore W2103140553C118615104 @default.
- W2103140553 hasConceptScore W2103140553C134306372 @default.
- W2103140553 hasConceptScore W2103140553C136119220 @default.
- W2103140553 hasConceptScore W2103140553C153269930 @default.
- W2103140553 hasConceptScore W2103140553C178421362 @default.
- W2103140553 hasConceptScore W2103140553C18903297 @default.
- W2103140553 hasConceptScore W2103140553C202444582 @default.
- W2103140553 hasConceptScore W2103140553C202854965 @default.
- W2103140553 hasConceptScore W2103140553C2777759810 @default.
- W2103140553 hasConceptScore W2103140553C2778701210 @default.
- W2103140553 hasConceptScore W2103140553C28077239 @default.
- W2103140553 hasConceptScore W2103140553C33923547 @default.
- W2103140553 hasConceptScore W2103140553C41008148 @default.
- W2103140553 hasConceptScore W2103140553C46757340 @default.
- W2103140553 hasConceptScore W2103140553C86803240 @default.
- W2103140553 hasConceptScore W2103140553C9376300 @default.
- W2103140553 hasConceptScore W2103140553C98045186 @default.
- W2103140553 hasIssue "1" @default.
- W2103140553 hasLocation W21031405531 @default.
- W2103140553 hasLocation W21031405532 @default.
- W2103140553 hasLocation W21031405533 @default.
- W2103140553 hasLocation W21031405534 @default.
- W2103140553 hasOpenAccess W2103140553 @default.
- W2103140553 hasPrimaryLocation W21031405531 @default.
- W2103140553 hasRelatedWork W2005971232 @default.
- W2103140553 hasRelatedWork W201195458 @default.
- W2103140553 hasRelatedWork W2015768688 @default.
- W2103140553 hasRelatedWork W2065855006 @default.
- W2103140553 hasRelatedWork W2093843395 @default.
- W2103140553 hasRelatedWork W2103140553 @default.
- W2103140553 hasRelatedWork W2772529464 @default.
- W2103140553 hasRelatedWork W2949804206 @default.
- W2103140553 hasRelatedWork W4200520344 @default.
- W2103140553 hasRelatedWork W4308886654 @default.
- W2103140553 hasVolume "15" @default.
- W2103140553 isParatext "false" @default.
- W2103140553 isRetracted "false" @default.
- W2103140553 magId "2103140553" @default.
- W2103140553 workType "article" @default.