Matches in SemOpenAlex for { <https://semopenalex.org/work/W2047574263> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2047574263 abstract "1 The purpose of this paper is to investigate the extensions of the Lewis system S5. To some extent this is meant to be a complement to what is shown in Scroggs [7]. We will show that any formula containing only one variable, if added to S5, will give an inconsistency or make the system collapse into classical propositional calculus (PC). We then examine the proper extensions of S5 obtained by adding formulas containing more than one variable. We describe Kripke-type semantics for these systems and prove their completeness. 2 A normal extension of S5 is an extension which is closed under the rules of substitution and (material) detachment. A proper extension of S5 is a normal extension where some formula not valid in S5 is derivable, but the formula p — • Lp is not derivable. Theorem 1: If any wff, containing only one propositional variable, is added as a neiυ axiom to S5, then the system thus obtained is not a proper extension of S5." @default.
- W2047574263 created "2016-06-24" @default.
- W2047574263 creator A5047434698 @default.
- W2047574263 date "1973-02-01" @default.
- W2047574263 modified "2023-09-23" @default.
- W2047574263 title "On the extensions of $S5$." @default.
- W2047574263 cites W2064946669 @default.
- W2047574263 cites W2138398824 @default.
- W2047574263 cites W2143620943 @default.
- W2047574263 cites W2163751633 @default.
- W2047574263 doi "https://doi.org/10.1305/ndjfl/1093890906" @default.
- W2047574263 hasPublicationYear "1973" @default.
- W2047574263 type Work @default.
- W2047574263 sameAs 2047574263 @default.
- W2047574263 citedByCount "11" @default.
- W2047574263 countsByYear W20475742632014 @default.
- W2047574263 crossrefType "journal-article" @default.
- W2047574263 hasAuthorship W2047574263A5047434698 @default.
- W2047574263 hasBestOaLocation W20475742631 @default.
- W2047574263 hasConcept C138885662 @default.
- W2047574263 hasConcept C199343813 @default.
- W2047574263 hasConcept C2777686260 @default.
- W2047574263 hasConcept C33923547 @default.
- W2047574263 hasConcept C41008148 @default.
- W2047574263 hasConcept C71924100 @default.
- W2047574263 hasConceptScore W2047574263C138885662 @default.
- W2047574263 hasConceptScore W2047574263C199343813 @default.
- W2047574263 hasConceptScore W2047574263C2777686260 @default.
- W2047574263 hasConceptScore W2047574263C33923547 @default.
- W2047574263 hasConceptScore W2047574263C41008148 @default.
- W2047574263 hasConceptScore W2047574263C71924100 @default.
- W2047574263 hasIssue "2" @default.
- W2047574263 hasLocation W20475742631 @default.
- W2047574263 hasOpenAccess W2047574263 @default.
- W2047574263 hasPrimaryLocation W20475742631 @default.
- W2047574263 hasRelatedWork W1979597421 @default.
- W2047574263 hasRelatedWork W2007980826 @default.
- W2047574263 hasRelatedWork W2063488590 @default.
- W2047574263 hasRelatedWork W2748952813 @default.
- W2047574263 hasRelatedWork W2899084033 @default.
- W2047574263 hasRelatedWork W4230623537 @default.
- W2047574263 hasRelatedWork W4230638242 @default.
- W2047574263 hasRelatedWork W4245490552 @default.
- W2047574263 hasRelatedWork W4246661265 @default.
- W2047574263 hasRelatedWork W4250879966 @default.
- W2047574263 hasVolume "14" @default.
- W2047574263 isParatext "false" @default.
- W2047574263 isRetracted "false" @default.
- W2047574263 magId "2047574263" @default.
- W2047574263 workType "article" @default.