Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009732936> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2009732936 endingPage "1073" @default.
- W2009732936 startingPage "1059" @default.
- W2009732936 abstract "In this paper we show that the propositional logics E of entailment, R of relevant implication and T of ticket entailment are undecidable. The decision problem is also shown to be unsolvable in an extensive class of related logics. The main tool used in establishing these results is an adaptation of the von Neumann coordinatization theorem for modular lattices. Interest in the decision problem for these systems dates from the late 1950s. The earliest result was obtained by Anderson and Belnap who proved that the first degree fragment of all these logics is decidable. Kripke [11] proved that the pure implicational fragments R → and E → of R and E are decidable. His methods were extended by Belnap and Wallace to the implication-negation fragments of these systems [3]; Kripke's methods also extend easily to include the implication-conjunction fragments of R and E . Meyer in his thesis [14] extended the result for R to include a primitive necessity operator. He also proved decidable the system R -mingle, an extension of R , and ortho- R (O R ), the logic obtained from R by omitting the distribution axiom. Various weak relevant logics are also known to be decidable by model-theoretic proofs of the finite model property (see Fine [5]). Finally, S. Giambrone [7] has solved the decision problem for various logics obtained by the omission of the contraction axiom ( A → ⦁ A → B ) → ⦁ A → B , including R + − W ( R + minus contraction). It is worth noting that even where positive results were obtained, the decision methods were usually of a complexity considerably greater than in the case of other nonclassical logics such as intuitionistic logic or modal logic, a fact which already indicates the difficulty of the decision problem." @default.
- W2009732936 created "2016-06-24" @default.
- W2009732936 creator A5057218145 @default.
- W2009732936 date "1984-12-01" @default.
- W2009732936 modified "2023-10-18" @default.
- W2009732936 title "The undecidability of entailment and relevant implication" @default.
- W2009732936 cites W1574367593 @default.
- W2009732936 cites W1980857228 @default.
- W2009732936 cites W1992486652 @default.
- W2009732936 cites W2051516180 @default.
- W2009732936 cites W2089857051 @default.
- W2009732936 cites W2127895161 @default.
- W2009732936 cites W3128976560 @default.
- W2009732936 cites W4205529794 @default.
- W2009732936 cites W4252137238 @default.
- W2009732936 doi "https://doi.org/10.2307/2274261" @default.
- W2009732936 hasPublicationYear "1984" @default.
- W2009732936 type Work @default.
- W2009732936 sameAs 2009732936 @default.
- W2009732936 citedByCount "134" @default.
- W2009732936 countsByYear W20097329362012 @default.
- W2009732936 countsByYear W20097329362013 @default.
- W2009732936 countsByYear W20097329362014 @default.
- W2009732936 countsByYear W20097329362015 @default.
- W2009732936 countsByYear W20097329362016 @default.
- W2009732936 countsByYear W20097329362017 @default.
- W2009732936 countsByYear W20097329362018 @default.
- W2009732936 countsByYear W20097329362019 @default.
- W2009732936 countsByYear W20097329362020 @default.
- W2009732936 countsByYear W20097329362021 @default.
- W2009732936 countsByYear W20097329362023 @default.
- W2009732936 crossrefType "journal-article" @default.
- W2009732936 hasAuthorship W2009732936A5057218145 @default.
- W2009732936 hasConcept C11413529 @default.
- W2009732936 hasConcept C118615104 @default.
- W2009732936 hasConcept C134752490 @default.
- W2009732936 hasConcept C153269930 @default.
- W2009732936 hasConcept C154945302 @default.
- W2009732936 hasConcept C167729594 @default.
- W2009732936 hasConcept C192034797 @default.
- W2009732936 hasConcept C199360897 @default.
- W2009732936 hasConcept C2185349 @default.
- W2009732936 hasConcept C2524010 @default.
- W2009732936 hasConcept C2776235265 @default.
- W2009732936 hasConcept C33923547 @default.
- W2009732936 hasConcept C41008148 @default.
- W2009732936 hasConceptScore W2009732936C11413529 @default.
- W2009732936 hasConceptScore W2009732936C118615104 @default.
- W2009732936 hasConceptScore W2009732936C134752490 @default.
- W2009732936 hasConceptScore W2009732936C153269930 @default.
- W2009732936 hasConceptScore W2009732936C154945302 @default.
- W2009732936 hasConceptScore W2009732936C167729594 @default.
- W2009732936 hasConceptScore W2009732936C192034797 @default.
- W2009732936 hasConceptScore W2009732936C199360897 @default.
- W2009732936 hasConceptScore W2009732936C2185349 @default.
- W2009732936 hasConceptScore W2009732936C2524010 @default.
- W2009732936 hasConceptScore W2009732936C2776235265 @default.
- W2009732936 hasConceptScore W2009732936C33923547 @default.
- W2009732936 hasConceptScore W2009732936C41008148 @default.
- W2009732936 hasIssue "4" @default.
- W2009732936 hasLocation W20097329361 @default.
- W2009732936 hasOpenAccess W2009732936 @default.
- W2009732936 hasPrimaryLocation W20097329361 @default.
- W2009732936 hasRelatedWork W122465024 @default.
- W2009732936 hasRelatedWork W2014273327 @default.
- W2009732936 hasRelatedWork W2077264791 @default.
- W2009732936 hasRelatedWork W2138627415 @default.
- W2009732936 hasRelatedWork W2626086289 @default.
- W2009732936 hasRelatedWork W2798884761 @default.
- W2009732936 hasRelatedWork W2949461525 @default.
- W2009732936 hasRelatedWork W3038592000 @default.
- W2009732936 hasRelatedWork W3091239367 @default.
- W2009732936 hasRelatedWork W4302587616 @default.
- W2009732936 hasVolume "49" @default.
- W2009732936 isParatext "false" @default.
- W2009732936 isRetracted "false" @default.
- W2009732936 magId "2009732936" @default.
- W2009732936 workType "article" @default.